diff options
author | Vlad Glagolev | 2019-05-22 16:11:34 +0000 |
---|---|---|
committer | Vlad Glagolev | 2019-05-24 14:52:24 +0000 |
commit | c7eb18516de93dc276df15055e0cf9954f023e9f (patch) | |
tree | c9ad5ef9075d96db7c84a99f57b94926cd53832d /doc/source-highlight/HISTORY | |
parent | b7c75973b4a759f657d6dee31e79a855f4963f3e (diff) |
source-highlight: add missing dependency
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 238ee477eb..8c2852eca2 100644 --- a/doc/source-highlight/HISTORY +++ b/doc/source-highlight/HISTORY @@ -1,3 +1,6 @@ +2019-05-22 Vlad Glagolev <stealth@sourcemage.org> + * DEPENDS: added missing dependency on boost regex library + 2019-05-12 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * DETAILS: version 3.1.8 |