History of the file that is called tools/timekey.adb at check-in 52b491f01727e081
2017-01-29
| ||
21:32 | tools/timekey: add CLI option to configure numer of subsecond digits file: [73c162bfd5] check-in: [b40ac98134] user: nat, branch: trunk, size: 3696 [annotate] [blame] [check-ins using] [diff] | |
2017-01-28
| ||
20:09 | tools/timekey: refactor the number of displayed subsecond digits file: [f35e7b972a] check-in: [f4f3b7b682] user: nat, branch: trunk, size: 3461 [annotate] [blame] [check-ins using] [diff] | |
2017-01-27
| ||
20:44 | tools/timekey: refactor command-line argument processing file: [a21f1616f7] check-in: [f9d3f1aa38] user: nat, branch: trunk, size: 3406 [annotate] [blame] [check-ins using] [diff] | |
2015-01-16
| ||
22:10 | Added: tools: new "timekey" too to provide a CLI interface to Natools.Time_Keys file: [98d2f7e779] check-in: [25d22b98f4] user: nat, branch: trunk, size: 3355 [annotate] [blame] [check-ins using] | |