diff options
Diffstat (limited to 'Demo/extend/make_clean')
| -rwxr-xr-x | Demo/extend/make_clean | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Demo/extend/make_clean b/Demo/extend/make_clean deleted file mode 100755 index 13203cd..0000000 --- a/Demo/extend/make_clean +++ /dev/null @@ -1,5 +0,0 @@ -#! /bin/sh - -# Reset the directory contents. - -rm -f Setup* Makefile* *.c *.o *.a *.so *~ python sedscript |