diff -r d08f47fd8542 -r db527181a90f default.in --- a/default.in Thu Apr 26 11:46:36 2018 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,2 +0,0 @@ -# the directory to watch -WATCHPOINTS="/dtele:/.dtele"