From eb56b704174e855d98c5b8f2588b8fbd9e22066d Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 14 Jan 2018 16:35:17 -0600
Subject: [PATCH] remove junk files

---
 configure      | 27 ---------------------------
 sequence.odocl |  4 ----
 2 files changed, 31 deletions(-)
 delete mode 100755 configure
 delete mode 100644 sequence.odocl

diff --git a/configure b/configure
deleted file mode 100755
index 6acfaeb..0000000
--- a/configure
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/sh
-
-# OASIS_START
-# DO NOT EDIT (digest: dc86c2ad450f91ca10c931b6045d0499)
-set -e
-
-FST=true
-for i in "$@"; do
-  if $FST; then
-    set --
-    FST=false
-  fi
-
-  case $i in
-    --*=*)
-      ARG=${i%%=*}
-      VAL=${i##*=}
-      set -- "$@" "$ARG" "$VAL"
-      ;;
-    *)
-      set -- "$@" "$i"
-      ;;
-  esac
-done
-
-ocaml setup.ml -configure "$@"
-# OASIS_STOP
diff --git a/sequence.odocl b/sequence.odocl
deleted file mode 100644
index 2f635d2..0000000
--- a/sequence.odocl
+++ /dev/null
@@ -1,4 +0,0 @@
-# OASIS_START
-# DO NOT EDIT (digest: 3ff39d3acb327553070a64ef0cb321d5)
-Sequence
-# OASIS_STOP