diff options
| author | Tim Landscheidt <tim@tim-landscheidt.de> | 2019-01-20 03:18:15 +0000 |
|---|---|---|
| committer | Tim Landscheidt <tim@tim-landscheidt.de> | 2019-01-22 01:41:15 +0000 |
| commit | 219869caf7e6bb2b70aef3e0e9a4c52c9fd96539 (patch) | |
| tree | e4da17d5bf2dbbfd6623ae86cf3bcfa5ffb64536 /tools/proof | |
| parent | 53f4035a2f4a6f33b447ce3658c4dc062058c422 (diff) | |
| download | fork-ledger-219869caf7e6bb2b70aef3e0e9a4c52c9fd96539.tar.gz fork-ledger-219869caf7e6bb2b70aef3e0e9a4c52c9fd96539.tar.bz2 fork-ledger-219869caf7e6bb2b70aef3e0e9a4c52c9fd96539.zip | |
Remove broken and disabled Travis CI configurations
The Travis CI configurations for macOS, Clang on Linux and
CheckTexinfo.py and CheckManpage.py are broken and disabled or
ignored. They appear to be non-trivial to fix, so the current stub is
probably more distracting than helpful while also making changes to
the working Linux configuration more difficult.
Diffstat (limited to 'tools/proof')
0 files changed, 0 insertions, 0 deletions