diff options
Diffstat (limited to 'devel/gnat-gps/HISTORY')
-rw-r--r-- | devel/gnat-gps/HISTORY | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/gnat-gps/HISTORY b/devel/gnat-gps/HISTORY index 000ab6905b..3dc8522872 100644 --- a/devel/gnat-gps/HISTORY +++ b/devel/gnat-gps/HISTORY @@ -1,12 +1,12 @@ -2011-10-12 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2011-10-12 Florian Franzmann <bwlf@bandrate.org> * DETAILS, PRE_BUILD: version 5.0.1 * shared.gpr.diff: added * src_editor_buffer.adb.diff: removed -2011-07-30 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2011-07-30 Florian Franzmann <bwlf@bandrate.org> * DEPENDS: changed dependency on ada to dependency on gcc with sub-depends on ADA (scripted) -2011-02-17 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> +2011-02-17 Florian Franzmann <bwlf@bandrate.org> * DEPENDS, DETAILS, PRE_BUILD, src_editor_buffer.adb.diff: spell created |