summaryrefslogtreecommitdiff
path: root/bookmarks
diff options
context:
space:
mode:
authorUrbain Vaes <urbain@vaes.uk>2015-07-14 19:35:24 +0100
committerUrbain Vaes <urbain@vaes.uk>2015-07-14 19:35:24 +0100
commitb31396823e9f6cb980032c8f2bfd2935611eb676 (patch)
treea3c1bce5d2b100eb03a7d89845158bad8ab459b2 /bookmarks
parent8a10c634e3a3f26dc38f5660de0c6aacc6f1a0d1 (diff)
Wrap code to install git repositories in a plugin
Diffstat (limited to 'bookmarks')
-rw-r--r--bookmarks3
1 files changed, 2 insertions, 1 deletions
diff --git a/bookmarks b/bookmarks
index cd6711e..516474d 100644
--- a/bookmarks
+++ b/bookmarks
@@ -4,5 +4,6 @@ dotfiles : /home/urbain/dotfiles
phd : /home/urbain/Dropbox/phd
code : /home/urbain/Dropbox/phd/code/spectral
feature : /home/urbain/Dropbox/phd/code/spectral/feature
-develop : /home/urbain/Dropbox/phd/code/spectral/develop
presentation : /home/urbain/Dropbox/phd/presentations/spectral
+develop : /home/urbain/Dropbox/phd/code/spectral/develop
+github : /home/urbain/github