diff options
| author | Florian Jung <flo@windfisch.org> | 2016-01-08 21:01:22 +0100 |
|---|---|---|
| committer | Florian Jung <flo@windfisch.org> | 2016-01-08 21:01:22 +0100 |
| commit | d8b98f347d0858128074054dea583772692365d0 (patch) | |
| tree | 053c497bde7558e98bf9f1a5c5079c4a8457a945 /doc/Makefile | |
| parent | 92f25c46b2d3e7e22b62faa4ca450b29757e977a (diff) | |
dirty hack: do not ever quit early
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions