diff options
author | Maria Matejka <mq@ucw.cz> | 2019-02-22 12:41:51 +0100 |
---|---|---|
committer | Maria Matejka <mq@ucw.cz> | 2019-02-22 12:43:43 +0100 |
commit | 7c36eb3e8bd7d06f65dc7319d42b6abe782c5b89 (patch) | |
tree | 0155cb7ee93d0350b06f655acb99fe28757b29df /doc/old/status.tex | |
parent | 93af78d2d29ce11e20d46f60cfe1d3ef68052e5c (diff) |
Conf: Switch for faster (and slightly bigger) lexer
Diffstat (limited to 'doc/old/status.tex')
0 files changed, 0 insertions, 0 deletions