diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-07-03 19:08:23 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-07-03 19:08:23 +0200 |
commit | 4349cd9fea36fafb857b117865a5edf8ae1e3b08 (patch) | |
tree | c25cac2ad12387a591e6836a15ded2cf068ec69e /parsing/tok.ml | |
parent | e278d031a1d9a7bf3de463d3d415065299c99395 (diff) |
Mention recent renaming of files in dev/doc/changes.txt.
Diffstat (limited to 'parsing/tok.ml')
0 files changed, 0 insertions, 0 deletions