diff options
Diffstat (limited to 'devel/gnat-gps/HISTORY')
| -rw-r--r-- | devel/gnat-gps/HISTORY | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/devel/gnat-gps/HISTORY b/devel/gnat-gps/HISTORY index 05aaa75cdb..000ab6905b 100644 --- a/devel/gnat-gps/HISTORY +++ b/devel/gnat-gps/HISTORY @@ -1,3 +1,8 @@ +2011-10-12 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * 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> * DEPENDS: changed dependency on ada to dependency on gcc with sub-depends on ADA (scripted) |