summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2013-05-02 22:15:35 +0200
committerPhilipp Gesang <phg42.2a@gmail.com>2013-05-02 22:15:35 +0200
commitc5837a5e38f2324ce7960840b609c290337ff160 (patch)
tree1cf5657c28e3620e7261aa89940f1cadf908407f /Makefile
parent9bc0be2978b9c87eaf111d93339378a9e3b5bbc9 (diff)
downloadluatexbase-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