History of the file that is called src/natools-file_streams.adb at check-in f85deca432658aa3
|
2015-01-23
| ||
| 22:48 | Added: file_streams: new package for a simple mix-in of stream and file file: [751c1d54f1] check-in: [3deed33050] user: nat, branch: trunk, size: 3072 [annotate] [blame] [check-ins using] | |