diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-23 20:51:50 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-23 20:51:50 +0200 |
| commit | 03b8b939f8da1c6300b0b105633e9e53af28408b (patch) | |
| tree | dd436d12873cfb28344e468af334e98b2f358a12 /luaotfload.dtx | |
| parent | 610d1e92ba369d82653769af9078b4701ab2582a (diff) | |
| download | luaotfload-03b8b939f8da1c6300b0b105633e9e53af28408b.tar.gz | |
reduce permissiveness of garbage option rule
Diffstat (limited to 'luaotfload.dtx')
0 files changed, 0 insertions, 0 deletions