diff options
| author | Elie Roux <elie.roux@telecom-bretagne.eu> | 2010-05-18 16:39:35 +0300 |
|---|---|---|
| committer | Elie Roux <elie.roux@telecom-bretagne.eu> | 2010-05-18 16:39:35 +0300 |
| commit | 4427a6ec30f2196e90cf66d140be98fff9ad65e5 (patch) | |
| tree | 7338101dac08ccfe3cc0af41abc9e5ca71cfcdee /alt_getopt.lua | |
| parent | da903f6da2e1a00e3ec681913346e0f9ce3b6d24 (diff) | |
| download | luaotfload-4427a6ec30f2196e90cf66d140be98fff9ad65e5.tar.gz | |
Fixing the log level when the database is updated inside a document
To do so I added a logs.info function to print something on the terminal and in the logs.
Diffstat (limited to 'alt_getopt.lua')
0 files changed, 0 insertions, 0 deletions