diff options
author | Florian Franzmann | 2020-01-11 01:30:48 +0100 |
---|---|---|
committer | Florian Franzmann | 2020-01-11 01:35:54 +0100 |
commit | 5130921f4f103144a5bfa3a1b7435d11d4a1674d (patch) | |
tree | 923adcc752fce2e0e1b5a05e6934b8007c555436 /doc/source-highlight/HISTORY | |
parent | ae697a31a64f6ee99199de17c1167c2110600828 (diff) |
doc/source-highlight: version 3.1.9
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 6bbb02f68e..108e28a064 100644 --- a/doc/source-highlight/HISTORY +++ b/doc/source-highlight/HISTORY @@ -1,3 +1,6 @@ +2020-01-11 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * DETAILS: version 3.1.9 + 2019-10-03 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * TRIGGERS: check self on cast boost |