Remove support for outdated libGrammar, replaced by Grammar2
authorKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 21:43:32 +0000 (22:43 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 21:43:32 +0000 (22:43 +0100)
commitdc9e9ba2f50ce881c3a77743663829d661363d51
tree9b293b36530e05d23844000976f7e92abfd22e57
parentd84799925e429516d24acd007d7e9ce75294c444
Remove support for outdated libGrammar, replaced by Grammar2
configure
src/OCamlDriver.cpp
src/grammar.ml [deleted file]
src/grammar.mli [deleted file]