From 30aa68089dc2f353a6c17e1ea83c61dd2b06aede Mon Sep 17 00:00:00 2001 From: Masaya Tojo 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. --- .gitignore | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 .gitignore (limited to '.gitignore') diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..830b5ef --- /dev/null +++ b/.gitignore @@ -0,0 +1,13 @@ +Makefile +Makefile.in +aclocal.m4 +*.go +*.cache +*.log +config.status +configure +*.tar.gz +pre-inst-env +build-aux/install-sh +build-aux/missing +*.trs -- cgit v1.2.3