projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2464bbf) | patch
allow renaming bootstrap, and change the name of bootstrap.conf accordingly
authorPaolo Bonzini <bonzini@gnu.org>
Thu, 2 Oct 2008 09:03:52 +0000 (11:03 +0200)
committerPaolo Bonzini <bonzini@gnu.org>
Thu, 2 Oct 2008 09:03:52 +0000 (11:03 +0200)
commit29dd8b5548ce047ce51ff9a73d6c4b50c9886771
tree4517fcb57559238aa0e47b2185c8f350ad7509a5tree | snapshot
parent2464bbfa7a6b82eca7bf3f7d517515ed462f1b23commit | diff
allow renaming bootstrap, and change the name of bootstrap.conf accordingly

2008-10-02  Paolo Bonzini  <bonzini@gnu.org>

* build-aux/bootstrap: Allow renaming bootstrap, and change the
name of bootstrap.conf accordingly.
ChangeLog diff | blob | history
build-aux/bootstrap diff | blob | history
gnulib debian + stable branches