Merge branch 'main' into nl_with_jac

zjwegert · May 14, 2024 · 1417981 · 1417981
2 parents 9512d84 + 9b1d0ff
commit 1417981
Show file tree

Hide file tree

Showing 142 changed files with 2,541 additions and 8,704 deletions.
diff --git a/.gitignore b/.gitignore
@@ -19,13 +19,14 @@ 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
 # committed for packages, but should be committed for applications that require a static
 # environment.
 Manifest.toml
 LocalPreferences.toml
-LevelSetTopOpt.so
+GridapTopOpt.so
+
+# Ensure never to write results to git
+results/*