diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2016-04-28 15:15:25 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2016-04-28 15:15:25 +0100 |
| commit | 4bb73ea2141a405c6c22ed273f92247df3e18b9f (patch) | |
| tree | 64314034dfab7a36a1cb51be09b4e8256a624b33 /mr/mrconfig | |
| parent | fa063a716fbdbb2a781a5bef4506aa87bc751e01 (diff) | |
Remove ledger
Diffstat (limited to 'mr/mrconfig')
| -rw-r--r-- | mr/mrconfig | 5 |
1 files changed, 0 insertions, 5 deletions
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 |