diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2017-01-29 17:47:57 +0100 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2017-01-29 17:48:00 +0100 |
commit | 0baccc9623891f57a302d51d40a3d1c380d910d0 (patch) | |
tree | 3a358eb8d503787986355869ce32a2eb8341feba /src/fontloader/misc/fontloader-font-oto.lua | |
parent | 17a5da03053805591b11e960d0126db7f1ba4184 (diff) | |
download | luaotfload-0baccc9623891f57a302d51d40a3d1c380d910d0.tar.gz |
[main] make main() no-op when called again
Fix #390
Suggested by @davidcarlisle.
Diffstat (limited to 'src/fontloader/misc/fontloader-font-oto.lua')
0 files changed, 0 insertions, 0 deletions