diff options
Diffstat (limited to 'gnu/gnat-gpl/HISTORY')
-rw-r--r-- | gnu/gnat-gpl/HISTORY | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/gnat-gpl/HISTORY b/gnu/gnat-gpl/HISTORY index 39b80be722..fc5c8ddacf 100644 --- a/gnu/gnat-gpl/HISTORY +++ b/gnu/gnat-gpl/HISTORY @@ -1,3 +1,6 @@ +2011-10-12 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * PRE_BUILD, DETAILS: version 2011 + 2011-07-30 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DEPENDS: changed dependency on ada to dependency on gcc with sub-depends on ADA (scripted) |