Artifact b20d6d07da86a65052a19c29fb5812955cf852be:
- File tools.gpr — part of check-in [25d22b98f4] at 2015-01-16 22:10:41 on branch trunk — tools: new "timekey" too to provide a CLI interface to Natools.Time_Keys (user: nat, size: 485) [annotate] [blame] [check-ins using]
A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.