Overview
| Comment: | tools/timekey: add CLI option to configure numer of subsecond digits |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
b40ac98134d8534e5ded4326fb1a9575 |
| User & Date: | nat on 2017-01-29 21:32:40 |
| Other Links: | manifest | tags |
Context
|
2017-01-30
| ||
| 21:33 | smaz_4096: new instance of generic Smaz, base-64 and large dictionary check-in: c57a785ddb user: nat tags: trunk | |
|
2017-01-29
| ||
| 21:32 | tools/timekey: add CLI option to configure numer of subsecond digits check-in: b40ac98134 user: nat tags: trunk | |
|
2017-01-28
| ||
| 20:09 | tools/timekey: refactor the number of displayed subsecond digits check-in: f4f3b7b682 user: nat tags: trunk | |
Changes
Modified tools/timekey.adb from [f35e7b972a] to [73c162bfd5]. [diff]