Simon Legner e075b2149b scripts/completion.pl: also generate fish completion file ... This is the renamed script formerly known as zsh.pl Closes #3545		2019-03-02 11:31:18 +01:00
..
completion.pl	scripts/completion.pl: also generate fish completion file	2019-03-02 11:31:18 +01:00
contributors.sh	contributors.sh: use "on github", not at	2018-05-14 08:53:22 +02:00
contrithanks.sh
coverage.sh
delta	delta: use --diff-filter on the git diff-tree invokes	2018-12-11 15:32:34 +01:00
installcheck.sh
log2changes.pl	whitespace fixes	2018-09-23 22:24:02 +00:00
Makefile.am	scripts/completion.pl: also generate fish completion file	2019-03-02 11:31:18 +01:00
singleuse.pl	scripts/singleuse: script to use to track single-use functions	2019-02-11 08:55:47 +01:00
updatemanpages.pl