diff options
author | Tavian Barnes <tavianator@gmail.com> | 2009-11-23 00:36:03 -0500 |
---|---|---|
committer | Tavian Barnes <tavianator@gmail.com> | 2009-11-23 00:36:03 -0500 |
commit | c9d1d7fe7630496ac84428c53b56bc393a450af6 (patch) | |
tree | f13c353fbae9941baa073c553b9c29b9514f9f12 /.gitignore | |
parent | e99e915e306dd5316b90f87759176a55d62a686e (diff) | |
download | dimension-c9d1d7fe7630496ac84428c53b56bc393a450af6.tar.xz |
Use flex for the tokenizer.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -10,6 +10,7 @@ /ltmain.sh /m4 /missing +/ylwrap Makefile Makefile.in @@ -39,6 +40,7 @@ Makefile.in # Files created by `make' /dimension/dimension +/dimension/tokenize.c # Files created by `make check' /tests/*/*-test |