diff options
Diffstat (limited to 'disk/fslint/HISTORY')
| -rw-r--r-- | disk/fslint/HISTORY | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/disk/fslint/HISTORY b/disk/fslint/HISTORY index a1fec77790..66e4ba088b 100644 --- a/disk/fslint/HISTORY +++ b/disk/fslint/HISTORY @@ -1,3 +1,6 @@ +2011-01-15 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 2.42 + 2009-12-11 Finn Haedicke <finn@sourcemage.org> * DETAILS: spell created |