Alain Frisch 6873f39817 Keep attributes on value declarations in .cmi files (but clear all the location fields, except if -keep-locs is used, of course). Use this to report a warning when a value marked as [@@deprecated] is referenced (#5854) ... git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02		2013-09-26 15:24:11 +00:00
..
.ignore	uniform .ignore system	2011-07-20 15:37:36 +00:00
Makefile	Keep attributes on value declarations in .cmi files (but clear all the location fields, except if -keep-locs is used, of course). Use this to report a warning when a value marked as [@@deprecated] is referenced (#5854)	2013-09-26 15:24:11 +00:00
Makefile.nt	remove all $Id keywords	2012-10-15 17:50:56 +00:00
dynlink.ml	Merge branch 4.01 from branching point to 4.01.0+rc1	2013-09-04 15:12:37 +00:00
dynlink.mli	Wrong quoting chase.	2013-05-29 18:05:44 +00:00
dynlinkaux.mlpack	merge with branch bin-annot	2012-05-30 14:52:37 +00:00
extract_crc.ml	remove all $Id keywords	2012-10-15 17:50:56 +00:00
natdynlink.ml	remove all $Id keywords	2012-10-15 17:50:56 +00:00