projects / platform / upstream / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76e5017) | patch
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
tree07271c63144cfee37d93797a19f5b955ae811ef3tree | snapshot
parent76e5017732612e64df8cb228b824819d5f00fbaccommit | diff
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] blob | history
Domain: System / Toolchain;