diff options
Diffstat (limited to 'user/xresources/.xresources')
| -rw-r--r-- | user/xresources/.xresources/main | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/user/xresources/.xresources/main b/user/xresources/.xresources/main index 2c2a3f71..6a9a4898 100644 --- a/user/xresources/.xresources/main +++ b/user/xresources/.xresources/main @@ -51,7 +51,3 @@ xterm*VT100.Translations: #override \ Ctrl Shift <Key>C: copy-selection(CLIPBOARD) \n\ Alt Shift <Key>V: insert-selection(CLIPBOARD) \n\ Alt Shift <Key>C: copy-selection(CLIPBOARD) - -! Local Variables: -! compile-command: (concat "xrdb -merge " (shell-quote-argument buffer-file-name)) -! End: |