]> git.saurik.com Git - bison.git/commit
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)
commit403ddfb7e079a03db54ac4454b97febeee878a3c
tree07271c63144cfee37d93797a19f5b955ae811ef3
parent76e5017732612e64df8cb228b824819d5f00fbac
maint: remove useless file

* 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]