some cleaning

This commit is contained in:
2023-10-31 16:20:43 +01:00
parent 78ebe8af17
commit 2425dc7881
10 changed files with 8 additions and 2 deletions

View File

@@ -0,0 +1,2 @@
set show-all-if-ambiguous on
set completion-ignore-case on