Certificates

Author	Ludovic Brenta
Branch	com.adacore.gps.debian.4.3
Changelog	Pluck FB07-017 from the trunk. applied changes from 8378dbda23be9a8c17ad06b5f63f51318eec3ec2 through 00599ac8249f7af8f3bc7ccaecba254152d23d43 applied changes from 00599ac8249f7af8f3bc7ccaecba254152d23d43 through 21ca6f16d1e46347df520b226c321ff4f5dd3480
Date	2009-03-07T15:25:35

Revision Details

Oldrevision	Old revision is: [c1510b29..] (diff)
Patch	Patch file distrib/known-problems (diff) Patch file src_editor/src/src_editor_buffer.adb (diff)