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 | |
parent | 234804a75781337925d8ebc9de490eaeb5e7d62e (diff) |
doc/source-highlight: version 3.1.8
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/source-highlight/DETAILS | 2 | ||||
-rw-r--r-- | doc/source-highlight/HISTORY | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/doc/source-highlight/DETAILS b/doc/source-highlight/DETAILS index fce8e25732..56a6659c54 100755 --- a/doc/source-highlight/DETAILS +++ b/doc/source-highlight/DETAILS @@ -1,5 +1,5 @@ SPELL=source-highlight - VERSION=3.1.7 + VERSION=3.1.8 SOURCE=${SPELL}-${VERSION}.tar.gz SOURCE2=$SOURCE.sig SOURCE_DIRECTORY=${BUILD_DIRECTORY}/${SPELL}-${VERSION} 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 |