patch #7802
commit8cc38f2b2895fa147b3e5a2a432f49e49ca76aa2
authorspiralvoice <spiralvoice>
Sun, 24 Jun 2012 08:07:07 +0000 (24 08:07 +0000)
committerspiralvoice <spiralvoice>
Sun, 24 Jun 2012 08:07:07 +0000 (24 08:07 +0000)
treea62eb635b831c6af3c7421c6a216d4461549c2cb
parentc98dd6f3248f1639f00e3383d9e682a632c97e1f
patch #7802
config/Makefile.in
distrib/ChangeLog
tools/ocamlpp.ml4