ISSOtm 972d06bb41 Fix gbdiff script ...

Fix issues with spaces in input filenames,
as well as a bunch more lint warnings.

2022-04-30 14:27:36 +02:00

..

bash_compl

Add Bash completion scripts for the last 3

2021-11-23 22:10:08 +01:00

zsh_compl

Add -Wnumeric-string to shell autocompletion

2021-11-22 17:58:12 -05:00

checkdiff.bash

Add the new completion scripts to checkdiff

2021-11-23 22:12:57 +01:00

gbdiff.bash

Fix gbdiff script

2022-04-30 14:27:36 +02:00