diff --git a/xs/.gitignore b/xs/.gitignore deleted file mode 100644 index 3c836717e..000000000 --- a/xs/.gitignore +++ /dev/null @@ -1 +0,0 @@ -compilet* \ No newline at end of file