Ignore personal machine file

clairekope · Mar 15, 2023 · 1d7f952 · 1d7f952
1 parent a1eba01
commit 1d7f952
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -56,3 +56,5 @@ doc/manual/build
 doc/manual/source/_build
 
 run/results.js
+
+Make.mach.claire-linux