diff options
author | Florian Franzmann | 2019-05-12 11:42:35 +0200 |
---|---|---|
committer | Florian Franzmann | 2019-05-12 11:42:51 +0200 |
commit | 26dcb50e3115df17fdb7d0140ad0497787c1b01e (patch) | |
tree | 1edb52fc64946a481c570726dda0c05685464e02 /doc/source-highlight/HISTORY | |
parent | 234804a75781337925d8ebc9de490eaeb5e7d62e (diff) |
doc/source-highlight: version 3.1.8
Diffstat (limited to 'doc/source-highlight/HISTORY')
-rw-r--r-- | doc/source-highlight/HISTORY | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/source-highlight/HISTORY b/doc/source-highlight/HISTORY index 24f379f921..7e0333b9ed 100644 --- a/doc/source-highlight/HISTORY +++ b/doc/source-highlight/HISTORY @@ -1,3 +1,6 @@ +2019-05-12 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 3.1.7 + 2014-05-15 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 3.1.7 |