Boris Kraut 7cd8622726 Use bash for verify script		2015-09-25 13:11:49 +02:00
..
google-code-moved.sh	google-code-moved: ignore weird google login links	2015-08-28 15:30:56 -07:00
verify-rewritemeta.sh	Use bash for verify script	2015-09-25 13:11:49 +02:00