Overview
| Comment: | smaz-tools: new primitive to remove an entry from a dictionary |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
134a6f8380ec6a1c3bb21fb1837cdcba |
| User & Date: | nat on 2016-10-23 21:23:51 |
| Other Links: | manifest | tags |
Context
|
2016-10-24
| ||
| 19:31 | smaz-tools: new primitive to append a new string value to a dictionary check-in: 5e694df685 user: nat tags: trunk | |
|
2016-10-23
| ||
| 21:23 | smaz-tools: new primitive to remove an entry from a dictionary check-in: 134a6f8380 user: nat tags: trunk | |
|
2016-10-22
| ||
| 19:21 | tools/smaz: replace "word list" with clearer "[sample] text list" check-in: db2278efbb user: nat tags: trunk | |
Changes
Modified src/natools-smaz-tools.adb from [bad9cd1aa0] to [8bd112085b]. [diff]
Modified src/natools-smaz-tools.ads from [d2634b59f6] to [62afa1f171]. [diff]