From 4bb73ea2141a405c6c22ed273f92247df3e18b9f Mon Sep 17 00:00:00 2001 From: Urbain Vaes Date: Thu, 28 Apr 2016 15:15:25 +0100 Subject: Remove ledger --- mr/mrconfig | 5 ----- 1 file changed, 5 deletions(-) (limited to 'mr/mrconfig') diff --git a/mr/mrconfig b/mr/mrconfig index 541a614..a007de9 100644 --- a/mr/mrconfig +++ b/mr/mrconfig @@ -8,11 +8,6 @@ checkout = git clone 'git@urbainvaes.com:gitolite-admin.git' 'gitolite' update = git pull origin master push = git push origin master -[$HOME/ledger] -checkout = git clone 'git@urbainvaes.com:private/ledger.git' 'ledger' -update = git pull origin master -push = git push origin master - [$HOME/personal] checkout = git clone 'git@urbainvaes.com:private/personal.git' 'personal' update = git pull origin master -- cgit v1.2.3