From d690b73b9f6d528888e588bad4033003d0f43581 Mon Sep 17 00:00:00 2001 From: Thomas Refis Date: Tue, 6 Mar 2018 10:37:08 +0000 Subject: [PATCH] v0.10.116.16+14 --- src/jbuild | 1 - test/jbuild | 1 - 2 files changed, 2 deletions(-) diff --git a/src/jbuild b/src/jbuild index 9f0d9678f..cd2e6bc43 100644 --- a/src/jbuild +++ b/src/jbuild @@ -6,5 +6,4 @@ (libraries (ppx_core ppx_driver)) (preprocess no_preprocessing))) - (jbuild_version 1) diff --git a/test/jbuild b/test/jbuild index 4d46bc57a..03a426849 100644 --- a/test/jbuild +++ b/test/jbuild @@ -4,5 +4,4 @@ (preprocess (pps (ppx_let ppx_driver.runner))))) - (jbuild_version 1)