curl/scripts
2016-05-23 10:07:48 +02:00
..
contributors.sh contributors.sh: better grep pattern, use grep -a 2016-05-23 09:13:43 +02:00
contrithanks.sh contrithanks.sh: exclude existing names case insensitively 2016-05-23 10:07:48 +02:00
log2changes.pl
Makefile.am scripts/make: use $(EXEEXT) for executables 2016-04-18 15:51:32 +02:00
zsh.pl zsh.pl: fail if no curl is found 2016-01-11 23:32:30 +01:00