diff options
Diffstat (limited to 'etc/ledit.l')
-rw-r--r-- | etc/ledit.l | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/ledit.l b/etc/ledit.l index 0c572fa07ae..d53c5d26011 100644 --- a/etc/ledit.l +++ b/etc/ledit.l @@ -148,3 +148,5 @@ (if (symbolp arg) (set_proc_str (get-pname arg)) (error arg " is illegal argument to set-proc-str")))) + +;;; arch-tag: 2e76c01f-8d6a-4d04-b9ab-0eaabec96aee |