From 1ed20a233fa2483a7a26154bef5aeaf9db3b043b Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Tue, 7 Mar 2017 13:49:37 +0000 Subject: [PATCH] 114.35+03 --- jbuild | 2 +- src/jbuild | 2 +- test/jbuild | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/jbuild b/jbuild index 75b4c96cb..ea8e23449 100644 --- a/jbuild +++ b/jbuild @@ -1,2 +1,2 @@ -(jbuild_version jane_street) +(jbuild_version 1) diff --git a/src/jbuild b/src/jbuild index e9c94d67c..6c9d6e805 100644 --- 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 index c9e1275e3..776c2febc 100644 --- a/test/jbuild +++ b/test/jbuild @@ -3,4 +3,4 @@ (preprocess (pps (ppx_let ppx_driver.runner))))) -(jbuild_version jane_street) +(jbuild_version 1)