diff options
Diffstat (limited to 'devel/alt-ergo/HISTORY')
| -rw-r--r-- | devel/alt-ergo/HISTORY | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/devel/alt-ergo/HISTORY b/devel/alt-ergo/HISTORY index 21016fd08d..d97228f7bc 100644 --- a/devel/alt-ergo/HISTORY +++ b/devel/alt-ergo/HISTORY @@ -1,3 +1,6 @@ +2013-05-31 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 0.95.1 + 2013-01-20 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 0.95 |