Viewing all changes in revision 206.
- Committer: Jean-Vincent Loddo
- Date: 2010-10-24 19:50:33 UTC
- Revision ID: loddo@lipn.univ-paris13.fr-20101024195033-92lzemfee532km88
Renamed module option_extract_traced.ml into option_extract_p4.ml to preserve preprocessor naming coherence.
- files renamed:
- CAMLP4/option_extract_traced.ml => CAMLP4/option_extract_p4.ml
- CAMLP4/option_extract_traced.mli => CAMLP4/option_extract_p4.mli
- files modified:
- Makefile.local
expand all
collapse all
added
removed
