diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2012-10-11 15:33:33 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2012-10-11 15:34:51 +0200 |
| commit | e22cc5a26cd3ef58ff2a346572c3ac4479b77fa4 (patch) | |
| tree | fadefe24efb394294ba1c3ab60a8bf13856c24bd | |
| parent | bd0baad75013a550d67bd351cf0e038a4ba7c6c2 (diff) | |
Rename project src-jones → src.
| -rw-r--r-- | .config/mr/available.d/src | 2 | ||||
| -rw-r--r-- | .config/mr/available.d/src-jones | 2 | ||||
| l--------- | .config/mr/config.d/src | 1 | ||||
| l--------- | .config/mr/config.d/src-jones | 1 |
4 files changed, 3 insertions, 3 deletions
diff --git a/.config/mr/available.d/src b/.config/mr/available.d/src new file mode 100644 index 0000000..377077d --- /dev/null +++ b/.config/mr/available.d/src @@ -0,0 +1,2 @@ +[$HOME/.config/vcsh/repo.d/src.git] +checkout = vcsh clone git://source.jones.dk/vcsh/src diff --git a/.config/mr/available.d/src-jones b/.config/mr/available.d/src-jones deleted file mode 100644 index 4ebde9e..0000000 --- a/.config/mr/available.d/src-jones +++ /dev/null @@ -1,2 +0,0 @@ -[$HOME/.config/vcsh/repo.d/src-jones.git] -checkout = vcsh clone git://source.jones.dk/vcsh/src-jones diff --git a/.config/mr/config.d/src b/.config/mr/config.d/src new file mode 120000 index 0000000..2b1d3c5 --- /dev/null +++ b/.config/mr/config.d/src @@ -0,0 +1 @@ +../available.d/src
\ No newline at end of file diff --git a/.config/mr/config.d/src-jones b/.config/mr/config.d/src-jones deleted file mode 120000 index 64e9dff..0000000 --- a/.config/mr/config.d/src-jones +++ /dev/null @@ -1 +0,0 @@ -../available.d/src-jones
\ No newline at end of file |