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-fonts-syn.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-fonts-syn.lua')
0 files changed, 0 insertions, 0 deletions