Viewing all changes in revision 10679.
- Committer: herbelin
- Date: 2009-11-09 18:05:13 UTC
- Revision ID: svn-v4:85f007b7-540e-0410-9357-904b9bb8a0f7:trunk:12485
A bit of cleaning around name generation + creation of dedicated file namegen.ml
- files modified:
- dev/base_include
expand all
collapse all
added
removed
