Viewing all changes in revision 743.
- Committer: Matt Zimmerman
- Date: 2006-07-12 05:25:45 UTC
- Revision ID: mdz@mizar-20060712052545-7f3f5a4dded5073f
Remove gnat-4.0 from supported, looks like a germinate workaround
- files modified:
- supported
expand all
collapse all
added
removed
