summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorFlorian Jung <flo@windfisch.org>2016-01-08 21:01:22 +0100
committerFlorian Jung <flo@windfisch.org>2016-01-08 21:01:22 +0100
commitd8b98f347d0858128074054dea583772692365d0 (patch)
tree053c497bde7558e98bf9f1a5c5079c4a8457a945 /doc/Makefile
parent92f25c46b2d3e7e22b62faa4ca450b29757e977a (diff)
dirty hack: do not ever quit early
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions