diff options
Diffstat (limited to 'etc/DEBUG')
-rw-r--r-- | etc/DEBUG | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/etc/DEBUG b/etc/DEBUG index 2604b39331f..91819f90c4b 100644 --- a/etc/DEBUG +++ b/etc/DEBUG @@ -755,4 +755,3 @@ mode: outline paragraph-separate: "[ ]*$" end: -;;; arch-tag: fbf32980-e35d-481f-8e4c-a2eca2586e6b |