summaryrefslogtreecommitdiff
path: root/mr
diff options
context:
space:
mode:
authorUrbain Vaes <urbain@vaes.uk>2019-08-19 12:29:57 +0200
committerUrbain Vaes <urbain@vaes.uk>2019-08-19 12:38:54 +0200
commit504321b84aca2ca20a869ffebb312b25c7ff2617 (patch)
tree746f396b36930e3037d4808800de7d4f4dc060aa /mr
parent5d36e3a6a82e316ead20c00e5e742cb4215d1c03 (diff)
Store plugins in $HOME/dotfiles/plugins
Diffstat (limited to 'mr')
-rw-r--r--mr/.mrtrust2
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