Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-17 10:40:06 -0700 (Tue, 17 Apr 2007)
Revision: 10450
Log message:

      Oops, previous commit was wrong (I did a branch off the top level of the
     repository, instead of off the MetaPRL trunk).

Changes  Path
Deleted metaprl-branches/ocaml-3.10/