From 4825d6c67e42a9da4b87a570ff7f109c26c4779e Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Thu, 22 Oct 2020 14:53:39 +0000
Subject: Initial commit.

* COPYING: New file.
* Makefile.am: New file.
* README.org: New file.
* README.md: Delete file.
* bootstrap: New file.
* build-aux/test-driver.scm: New file.
* configure.ac: New file.
* guix.scm: New file.
* pre-inst-env.in: New file.
* rabbit-prover.scm: New file.
* toot.scm: New file.
---
 bootstrap | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 bootstrap

(limited to 'bootstrap')

diff --git a/bootstrap b/bootstrap
new file mode 100755
index 0000000..872167c
--- /dev/null
+++ b/bootstrap
@@ -0,0 +1,3 @@
+#!/bin/sh
+
+autoreconf -vif
-- 
cgit v1.2.3