diff options
| author | Khaled Hosny <khaledhosny@eglug.org> | 2010-06-25 18:15:33 +0300 |
|---|---|---|
| committer | Khaled Hosny <khaledhosny@eglug.org> | 2010-06-25 18:15:33 +0300 |
| commit | 9eb02dc4f8ed2a0c7fb79a50b97de7fef56d33c6 (patch) | |
| tree | 2f0dbf7243abfda4395202a8ac8ce9d7b520e21c /NEWS | |
| parent | 0fa046c08f691d7db06ce2955923a83f42ebef5e (diff) | |
| download | luaotfload-9eb02dc4f8ed2a0c7fb79a50b97de7fef56d33c6.tar.gz | |
Really fix printing file name before loading it
io.flush() is needed, otherwise nothing gets printed until the loading
is finished.
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions