Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Replace rectype-name with recognizer rev. D suggested rectype-nt |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
bfdb6f7821155c7a7454bcc1c523481c |
| User & Date: | bernd 2020-07-06 12:48:55.847 |
Context
|
2020-07-06
| ||
| 13:53 | Snap card broken on Chromium? check-in: b795abe718 user: bernd tags: trunk | |
| 12:48 | Replace rectype-name with recognizer rev. D suggested rectype-nt check-in: bfdb6f7821 user: bernd tags: trunk | |
|
2020-06-28
| ||
| 22:32 | jni-based volume control only on Android check-in: 2a562578fe user: bernd tags: trunk | |
Changes
Changes to gui.fs.
Changes to msg.fs.
Changes to n2o.fs.
Changes to tools.fs.