diff options
Diffstat (limited to 'math/.svnignore')
| -rw-r--r-- | math/.svnignore | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/math/.svnignore b/math/.svnignore deleted file mode 100644 index 6aa96403..00000000 --- a/math/.svnignore +++ /dev/null @@ -1,7 +0,0 @@ -texvc -texvc_test -texvc_tex -*.cmi -*.cmx -*.mli -*~ |