diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-22 17:55:12 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-22 17:55:12 +0200 |
| commit | 1c81442284a25a9cf4979d9236ec0c1a1cf8a8dd (patch) | |
| tree | d19cceb5768ff33654dc04f67c5b55e4205b8aca /GNUmakefile | |
| parent | 54cf070313c844f5ccf741fc7f1237fe2d260ded (diff) | |
Update way to specify encoding, improve FOCUS_L TOC
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions