diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 17:00:02 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-03 17:00:02 +0100 |
| commit | d1e0649cae217b9c086bc6a14652cd70deccfb6e (patch) | |
| tree | 29e6df2ca3165c775388a30cfdc0febf6c8e3058 /Makefile | |
| parent | a18a6adc30dfd5a235017772b8b290c6cee71dca (diff) | |
| download | luaotfload-d1e0649cae217b9c086bc6a14652cd70deccfb6e.tar.gz | |
[log] use Lua io.* instead of texio.* when writing to terminal
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions