From 669837eb02f78a75ed250c5d670d9bd7bfc5a51b Mon Sep 17 00:00:00 2001 From: Rodrigo Silva Date: Sat, 28 Sep 2024 01:39:13 -0300 Subject: [PATCH] update .gitignore 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! --- .gitignore | 2 -- 1 file changed, 2 deletions(-) diff --git a/.gitignore b/.gitignore index 99a1a1d..a834a23 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1 @@ -.* -ref/ git_restore_mtime.py