diff options
author | Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com) <spamtrap@nedprod.com> | 2017-09-04 03:02:26 +0300 |
---|---|---|
committer | Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com) <spamtrap@nedprod.com> | 2017-09-04 03:02:26 +0300 |
commit | 57c0a99e0a3726f84374f070fd92c0fa2beea74d (patch) | |
tree | 71fdebebe4e48e549ac8a5dc46e7039cd875a15b /doc | |
parent | d3467dee8d5a34ce6ad2c501f7d09d82c9d2dd0e (diff) |
Fix missing header on Linux, should compile now.
Diffstat (limited to 'doc')
m--------- | doc/html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/html b/doc/html -Subproject ca74fce5d4c6d0bc805e3138e091a04ccef61c0 +Subproject ecdb15482d922b67ba4344c67d4507ca1d6fc5d |