Skip to content

Commit

Permalink
update .gitignore
Browse files Browse the repository at this point in the history 
A follow up of #74 , further cleaning up old crust.

Rules for personal, local-only files never belonged in a public `.gitignore` anyway.

Thanks @Repiteo for bringing my attention to this!
  • Loading branch information
@MestreLion
MestreLion authored Sep 28, 2024
1 parent 1371ea7 commit 669837e
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions .gitignore
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1 @@
.*
ref/
git_restore_mtime.py

0 comments on commit 669837e

Please sign in to comment.