Joel Brobecker cc00619d4d Switch the licensing to GPLv3 for all .ads and .adb files.		2007-08-23 17:49:23 +00:00
..
fixed_points.adb	Switch the licensing to GPLv3 for all .ads and .adb files.	2007-08-23 17:49:23 +00:00