diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:11:23 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:11:23 +0200 |
| commit | dca619cc34e64e63fe36ec9b5acdb42aafe665a8 (patch) | |
| tree | 636b46bf5443045317730e544296d3949cdc53bc /.gitignore | |
| parent | 8fee5abd0a1d0865d3d3d4b4de48aacb4be0914e (diff) | |
| download | compcert-dca619cc34e64e63fe36ec9b5acdb42aafe665a8.tar.gz compcert-dca619cc34e64e63fe36ec9b5acdb42aafe665a8.zip | |
Lexer cleanup: isolate [lexer_wraper] and rename it to [lexer].
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions