Natools

History of tools/timekey.adb of f85deca432658aa3
Login

History of the file that is called tools/timekey.adb at check-in f85deca432658aa3

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]