diff options
| author | Enrico Tassi | 2015-12-10 21:52:21 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-12-10 21:52:21 +0100 |
| commit | 006565bdb5b473afff5f834e4b20320bb0a419fd (patch) | |
| tree | cc8d7be1c32ef3f13eb684f9d11fde008b8daf31 /etc/utils/builddoc_lib.sh | |
| parent | 80b5ceadd16e566c944cd8c48ffc486caca3d6a9 (diff) | |
HACK: work around regression in 8.5
This shall be reverted, it is there only to make ssr compile on jenkins
and help the release of Coq
Diffstat (limited to 'etc/utils/builddoc_lib.sh')
0 files changed, 0 insertions, 0 deletions