Overview
| Comment: | Change the sounds.js to use the sound names instead of numbers (although this does not find all of the sounds; also, it may be reverted if needed) |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
2b1740ba7ca1f61d849c8589f0e837e6 |
| User & Date: | user on 2021-04-01 04:00:57 |
| Other Links: | manifest | tags |
Context
|
2021-04-01
| ||
| 19:07 | Mention that contributions of documentation in languages other than English are not required to use the PC haracter set, and may use whatever character set is appropriate. check-in: 63c71e1a57 user: user tags: trunk | |
| 04:00 | Change the sounds.js to use the sound names instead of numbers (although this does not find all of the sounds; also, it may be reverted if needed) check-in: 2b1740ba7c user: user tags: trunk | |
|
2021-03-31
| ||
| 19:26 | Add the flip instruction. check-in: f292d8781e user: user tags: trunk | |
Changes
Modified sounds.js from [02ef9788f0] to [3783b4826e]. [diff]