Restore another execute-bit.
commit5ed63ab8a969472b2c4441a58b83fe228d1fe98a
authorGlenn Morris <rgm@gnu.org>
Fri, 3 Dec 2010 17:40:46 +0000 (3 09:40 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 3 Dec 2010 17:40:46 +0000 (3 09:40 -0800)
tree5c0953fea8da193015152a6b23bbc5770f83f1ef
parent1cd895e1e25fa6e43aa330b6cf36c625b9fca10c
Restore another execute-bit.
make-dist [changed mode: 0644->0755]