diff options
author | Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com) <spamtrap@nedprod.com> | 2017-08-27 03:24:11 +0300 |
---|---|---|
committer | Niall Douglas (s [underscore] sourceforge {at} nedprod [dot] com) <spamtrap@nedprod.com> | 2017-08-27 03:24:11 +0300 |
commit | 30697a2fe596f6113daf38bb72cbcdf5c96fdd36 (patch) | |
tree | a14bf47e57e8961f4864b6d565022616db1ddc03 /doc | |
parent | 892c11cf6569f1f39dd03cab33870251c873dd42 (diff) |
Fix segfaults on CI
Diffstat (limited to 'doc')
m--------- | doc/html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/html b/doc/html -Subproject d3392c02444eebffea7d732f89f3a08c258d0f0 +Subproject a6f331db139edc2da7142296f0bbabd6b4e6cb3 |