minor fixes

2023-10-10 16:18:53 +08:00
parent 25b247c79d
commit b3cf8eeaac
5 changed files with 19 additions and 12 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -21,6 +21,7 @@ eln-cache/*

 # etc
 auto-save-list*
+url

 # don't ignore .gitignore
 !.gitignore