git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit 68a10970 authored by Evan Prodromou's avatar Evan Prodromou

fixup exe bits

parent bd681547
File mode changed from 100755 to 100644
File mode changed from 100755 to 100644
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment