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 new file mode 100644 index 0000000000..7c32c72441 --- /dev/null +++ b/gnu/gnat-gpl/HISTORY @@ -0,0 +1,3 @@ +2011-03-09 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * BUILD, DEPENDS, DETAILS, INSTALL, PRE_BUILD: spell created + |