aboutsummaryrefslogtreecommitdiff
path: root/Makefile.doc
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2016-10-20 11:45:10 +0200
committerPierre-Marie Pédrot2016-10-21 18:00:13 +0200
commitcef86ed6f78e2efa703bd8772a43fbeba597bbe3 (patch)
tree8aa3382cfee8cfdbe73cab67594b556ff13cf795 /Makefile.doc
parentf667e270116aaf46f1c27b5a925d3ffaf0d31365 (diff)
Adding a primitive to recover the set of keywords from the lexer.
This is useful for debugging purposes.
Diffstat (limited to 'Makefile.doc')
0 files changed, 0 insertions, 0 deletions