aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-10-22 17:55:12 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2016-10-22 17:55:12 +0200
commit1c81442284a25a9cf4979d9236ec0c1a1cf8a8dd (patch)
treed19cceb5768ff33654dc04f67c5b55e4205b8aca /GNUmakefile
parent54cf070313c844f5ccf741fc7f1237fe2d260ded (diff)
Update way to specify encoding, improve FOCUS_L TOC
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint