Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | GUI for android play and recording |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
528d240a4a7ce22e23707267e6ead793 |
| User & Date: | bernd 2020-06-25 15:30:20.147 |
Context
|
2020-06-28
| ||
| 14:26 | Audio player volume check-in: 05fbc5d044 user: bernd tags: trunk | |
|
2020-06-25
| ||
| 15:30 | GUI for android play and recording check-in: 528d240a4a user: bernd tags: trunk | |
|
2020-06-18
| ||
| 13:23 | Bump version number check-in: 5703baa868 user: bernd tags: trunk, 0.9.8-20200618 | |
Changes
Changes to gui.fs.