Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Flip mic/kb |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
a0d9aba664c42307eb2272c03db6322f |
| User & Date: | bernd 2020-05-14 17:21:10.105 |
Context
|
2020-05-15
| ||
| 21:18 | Start better want protocol check-in: fe0413d449 user: bernd tags: trunk | |
|
2020-05-14
| ||
| 17:21 | Flip mic/kb check-in: a0d9aba664 user: bernd tags: trunk | |
| 15:16 | Bump version number check-in: 1d0e845d49 user: bernd tags: trunk, 0.9.7-20200514 | |
Changes
Changes to gui.fs.