diff options
author | Urbain Vaes <urbain@vaes.uk> | 2019-08-19 12:29:57 +0200 |
---|---|---|
committer | Urbain Vaes <urbain@vaes.uk> | 2019-08-19 12:38:54 +0200 |
commit | 504321b84aca2ca20a869ffebb312b25c7ff2617 (patch) | |
tree | 746f396b36930e3037d4808800de7d4f4dc060aa /mr | |
parent | 5d36e3a6a82e316ead20c00e5e742cb4215d1c03 (diff) |
Store plugins in $HOME/dotfiles/plugins
Diffstat (limited to 'mr')
-rw-r--r-- | mr/.mrtrust | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mr/.mrtrust b/mr/.mrtrust index 5f0dbe2..2e39831 100644 --- a/mr/.mrtrust +++ b/mr/.mrtrust @@ -1 +1,3 @@ ~/phd/.mrconfig +~/postdoc/.mrconfig +~/dotfiles/.mrconfig |