Files
Christoph M. Becker 20d13baab2 Fix #23: Windows permissions incorrect after cloning (#24)
We set executable permissions for all .bat and .exe files.  This is
required for running in Cygwin shells, but generally considered good
style.
2024-08-21 20:53:15 +02:00
..
2016-10-22 16:33:58 +02:00
2019-04-04 14:38:49 +02:00
2021-06-18 08:03:36 -07:00