diff options
Diffstat (limited to 'no-bisect_ppx.diff')
| -rw-r--r-- | no-bisect_ppx.diff | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/no-bisect_ppx.diff b/no-bisect_ppx.diff deleted file mode 100644 index 86bd8c0b0ce5..000000000000 --- a/no-bisect_ppx.diff +++ /dev/null @@ -1,10 +0,0 @@ -diff --git a/src/react/dune b/src/react/dune -index 318cb3c75..7d1680b6c 100644 ---- a/src/react/dune -+++ b/src/react/dune -@@ -10,5 +10,4 @@ - (synopsis "Reactive programming helpers for Lwt") - (wrapped false) - (libraries lwt react) -- (preprocess (pps bisect_ppx --conditional)) - (flags (:standard -w +A))) |