Artifact 788ce7a04cf52a70eb603d366d5445d5de42d618:
- File src/natools-references-pools.ads — part of check-in [f530098004] at 2014-08-26 20:50:16 on branch trunk — references-pools: new package that provides a task-safe pool of references (user: nat, size: 5699) [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.