diff options
author | Vlad Glagolev | 2019-05-22 16:10:26 +0000 |
---|---|---|
committer | Vlad Glagolev | 2019-05-24 14:52:24 +0000 |
commit | b7c75973b4a759f657d6dee31e79a855f4963f3e (patch) | |
tree | c6ce46a2a98b0c2cb9a84e326520200925170837 /doc | |
parent | a35caaaa4ec63cceda62d55d405f54c2b9164fee (diff) |
source-highlight: HISTORY fix
Diffstat (limited to 'doc')
-rw-r--r-- | doc/source-highlight/HISTORY | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/source-highlight/HISTORY b/doc/source-highlight/HISTORY index 7e0333b9ed..238ee477eb 100644 --- a/doc/source-highlight/HISTORY +++ b/doc/source-highlight/HISTORY @@ -1,5 +1,5 @@ 2019-05-12 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> - * DETAILS: version 3.1.7 + * DETAILS: version 3.1.8 2014-05-15 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 3.1.7 |