* make-dist: Don't distribute old, unsupported w32 build method.
commitda6a8debb270a2e602f3b789ec3e27e815041164
authorGlenn Morris <rgm@gnu.org>
Tue, 5 Nov 2013 08:13:09 +0000 (5 00:13 -0800)
committerGlenn Morris <rgm@gnu.org>
Tue, 5 Nov 2013 08:13:09 +0000 (5 00:13 -0800)
tree5eadbc36e936201f58bbaa8e907838ce7b45fc44
parent21c84598d942acaf99fee5985dd3d4b771322e7b
* make-dist: Don't distribute old, unsupported w32 build method.
ChangeLog
make-dist