diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2014-03-30 12:01:33 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-03-30 12:01:33 +0200 |
commit | 9005dd121c14e97b2fe001a5543596047a9c141b (patch) | |
tree | d7a82742da3abe0c4c77f899073b93d372971d47 /src/fontloader/fontloader-fonts-ext.lua | |
parent | d0d63530acf762f080e8c6255949398a918bf0bc (diff) | |
download | luaotfload-9005dd121c14e97b2fe001a5543596047a9c141b.tar.gz |
[doc] move up footnote concerning the former “trep” set
Diffstat (limited to 'src/fontloader/fontloader-fonts-ext.lua')
0 files changed, 0 insertions, 0 deletions