114.35+03

janestreet · Mar 7, 2017 · 1ed20a2 · 1ed20a2
1 parent 8bdf299
commit 1ed20a2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/jbuild b/jbuild
@@ -1,2 +1,2 @@
 
-(jbuild_version jane_street)
+(jbuild_version 1)
diff --git 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)
diff --git a/test/jbuild b/test/jbuild
@@ -3,4 +3,4 @@
   (preprocess (pps (ppx_let ppx_driver.runner)))))
 
 
-(jbuild_version jane_street)
+(jbuild_version 1)