From 19cdfb7a8b522136317f2de0f2f901572ebee066 Mon Sep 17 00:00:00 2001 From: Urbain Vaes Date: Sun, 5 Dec 2021 17:42:34 +0100 Subject: Adjust font size --- mr/.mrconfig | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'mr/.mrconfig') diff --git a/mr/.mrconfig b/mr/.mrconfig index d83da3f..35efe3e 100644 --- a/mr/.mrconfig +++ b/mr/.mrconfig @@ -27,3 +27,8 @@ push = git push origin master checkout = git clone 'gitolite@vaes.uk:postdoc/base.git' postdoc update = git pull origin master push = git push origin master + +[$HOME/work] +checkout = git clone 'gitolite@vaes.uk:work/base.git' work +update = git pull origin master +push = git push origin master -- cgit v1.2.3