diff -r abcbb32288b2 -r faac9ca8f092 diagrams/scripts/find_all_diagrams.bat
--- a/diagrams/scripts/find_all_diagrams.bat	Thu Jun 17 21:16:05 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-bash find_all_diagrams.sh