diff --git a/src/scratchpad/targets/dummy.txt b/src/scratchpad/targets/dummy.txt deleted file mode 100644 index ee37f4519..000000000 --- a/src/scratchpad/targets/dummy.txt +++ /dev/null @@ -1 +0,0 @@ -Dummy file so this directory is not deleted by CVS. It's required for the build. \ No newline at end of file