114.35+03

2017-03-07 13:49:37 +00:00 · 2017-03-07 13:49:37 +00:00 · 1ed20a233f
commit 1ed20a233f
parent 8bdf299031
3 changed files with 3 additions and 3 deletions
--- a/2
+++ b/2
@ -1,2 +1,2 @@

-(jbuild_version jane_street)
+(jbuild_version 1)
--- a/src/jbuild
+++ b/src/jbuild
@ -5,4 +5,4 @@
  (libraries (ppx_core ppx_driver))
  (preprocess no_preprocessing)))

-(jbuild_version jane_street)
+(jbuild_version 1)
--- a/test/jbuild
+++ b/test/jbuild
@ -3,4 +3,4 @@
  (preprocess (pps (ppx_let ppx_driver.runner)))))


-(jbuild_version jane_street)
+(jbuild_version 1)