diff options
author | Florian Franzmann | 2020-06-11 12:57:34 +0200 |
---|---|---|
committer | Florian Franzmann | 2020-06-21 15:34:58 +0200 |
commit | 0c86449ada9d59951332c96eee101dd6b6afedfe (patch) | |
tree | 898c95f28b9b5131080af4a24859c854bae11ea4 /doc/man-pages/HISTORY | |
parent | 915866d20e7ae945b7d92d2cb21042be641cd7ad (diff) |
doc/man-pages: version 5.07
Diffstat (limited to 'doc/man-pages/HISTORY')
-rw-r--r-- | doc/man-pages/HISTORY | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/man-pages/HISTORY b/doc/man-pages/HISTORY index 54b4127489..f0f6710997 100644 --- a/doc/man-pages/HISTORY +++ b/doc/man-pages/HISTORY @@ -1,3 +1,6 @@ +2020-06-11 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 5.07 + 2020-04-12 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 5.06 |