diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-02 22:15:35 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-02 22:15:35 +0200 |
commit | c5837a5e38f2324ce7960840b609c290337ff160 (patch) | |
tree | 1cf5657c28e3620e7261aa89940f1cadf908407f /Makefile | |
parent | 9bc0be2978b9c87eaf111d93339378a9e3b5bbc9 (diff) | |
download | luatexbase-c5837a5e38f2324ce7960840b609c290337ff160.tar.gz |
add warning if ``get_user_whatsit_name`` is called with unknown id
another of Stephan Hennig’s suggestions
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions