summaryrefslogtreecommitdiff
path: root/doc/old/status.tex
diff options
context:
space:
mode:
authorMaria Matejka <mq@ucw.cz>2019-02-22 12:41:51 +0100
committerMaria Matejka <mq@ucw.cz>2019-02-22 12:43:43 +0100
commit7c36eb3e8bd7d06f65dc7319d42b6abe782c5b89 (patch)
tree0155cb7ee93d0350b06f655acb99fe28757b29df /doc/old/status.tex
parent93af78d2d29ce11e20d46f60cfe1d3ef68052e5c (diff)
Conf: Switch for faster (and slightly bigger) lexer
Diffstat (limited to 'doc/old/status.tex')
0 files changed, 0 insertions, 0 deletions