projects / platform / upstream / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f3a4495) | patch
* config.sed: Add filenames that are not 8.3 clean and that must
authorJuan Manuel Guerrero <juan.guerrero@gmx.de>
Wed, 6 Feb 2008 09:58:13 +0000 (09:58 +0000)
committerJuan Manuel Guerrero <juan.guerrero@gmx.de>
Wed, 6 Feb 2008 09:58:13 +0000 (09:58 +0000)
commit38b5fb0c18b35c9b1871f9a0f789e46efe395001
tree17e27f9643cb16a799a080bc9f81ee581c696a0btree | snapshot
parentf3a4495d67a3c6692c963c7a7dcd46fd6bdafb7bcommit | diff
* config.sed: Add filenames that are not 8.3 clean and that must
be changed.  Copyright timestamp adjusted.
djgpp/config.sed diff | blob | history
Domain: System / Toolchain;