diff --git a/.gitignore b/.gitignore index b8aba4f7..d43b6663 100644 --- a/.gitignore +++ b/.gitignore @@ -19,8 +19,6 @@ deps/src/ # Build artifacts for creating documentation generated by the Documenter package docs/build/ docs/site/ -Results/* -results/* # File generated by Pkg, the package manager, based on a corresponding Project.toml # It records a fixed state of all packages used by the project. As such, it should not be diff --git a/results/.gitignore b/results/.gitignore new file mode 100644 index 00000000..c96a04f0 --- /dev/null +++ b/results/.gitignore @@ -0,0 +1,2 @@ +* +!.gitignore \ No newline at end of file diff --git a/results/empty b/results/empty deleted file mode 100644 index 0519ecba..00000000 --- a/results/empty +++ /dev/null @@ -1 +0,0 @@ - \ No newline at end of file