diff --git a/.gitignore b/.gitignore index 28d22ed..8171171 100644 --- a/.gitignore +++ b/.gitignore @@ -40,3 +40,4 @@ output.txt # Python scripts (dev tools) *.py +webfun-reference/ diff --git a/webfun-reference b/webfun-reference deleted file mode 160000 index 2a16d74..0000000 --- a/webfun-reference +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 2a16d749372980138e2823511d62d896cf1cfe49