diff --git a/chmod.bat b/chmod.bat new file mode 100644 index 000000000..0160ea4b3 --- /dev/null +++ b/chmod.bat @@ -0,0 +1 @@ +echo chmod not available under Windows diff --git a/cp.bat b/cp.bat new file mode 100644 index 000000000..5744de087 --- /dev/null +++ b/cp.bat @@ -0,0 +1 @@ +echo cp not available under Windows