K 10
svn:author
V 7
sunpoet
K 8
svn:date
V 27
2015-11-20T09:17:16.741703Z
K 7
svn:log
V 175
- Update to 6.14
- Strip object files
- Convert to new options helper
- Convert to new options target helper
- Cosmetic change

Changes:	http://camlp5.gforge.inria.fr/CHANGES

END