prepare release

This commit is contained in:
Simon Cruanes 2014-05-20 23:55:30 +02:00
parent dcbee64684
commit df75fa136a
2 changed files with 7116 additions and 40 deletions

View file

@ -1,5 +1,5 @@
(* OASIS_START *)
(* DO NOT EDIT (digest: 958ece46307b808952e439e1cc47a739) *)
(* DO NOT EDIT (digest: 8e5b66bc31c43be02dd36f743f1d79a9) *)
module OASISGettext = struct
(* # 22 "src/oasis/OASISGettext.ml" *)

7136
setup.ml

File diff suppressed because it is too large Load diff