who let the cat out?
authorWolfgang Bumiller <wry.git@bumiller.com>
Fri, 11 Oct 2013 13:53:53 +0000 (15:53 +0200)
committerWolfgang Bumiller <wry.git@bumiller.com>
Fri, 11 Oct 2013 13:53:59 +0000 (15:53 +0200)
commit19331ee385cb3c39139a284e2ab1053420b18fe3
tree7d702f38d9087847e4333d7bcb1a1721d947d8b3
parentef51b303873db5e97b9ddcf12cadc0c5df6bb855
who let the cat out?
misc/check-proj.sh