Does anyone know how Lua decides if/when to update its cache?  Perhaps
there's a field we can put the date and time into which would force
luatex to re-cache the font?

Henry

_______________________________________________
Gregorio-devel mailing list
[email protected]
https://mail.gna.org/listinfo/gregorio-devel

Répondre à