div tweaks

2025-09-02 23:04:01 +02:00
parent 75d1f73e51
commit 65eba84fe5
3 changed files with 4 additions and 1 deletions
@@ -81,3 +81,5 @@
    old = red bold
    new = green bold
    whitespace = red reverse
+[safe]
+	directory = /tmp