]> git.saurik.com Git - bison.git/commitdiff
projects / bison.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: 76e5017)
maint: remove useless file
authorAkim Demaille <akim@lrde.epita.fr>
Tue, 4 Sep 2012 08:58:23 +0000 (10:58 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Tue, 4 Sep 2012 09:00:11 +0000 (11:00 +0200)
* externals/bootstrap.cfg: Remove.
This file was used by a specific build system.
It was added to the master repository by accident.

externals/bootstrap.cfg [deleted file] patch | blob | blame | history

diff --git a/externals/bootstrap.cfg b/externals/bootstrap.cfg
deleted file mode 100644 (file)
index 6a0be6f..0000000
--- a/externals/bootstrap.cfg
+++ /dev/null
@@ -1 +0,0 @@
-external: gnulib
bison