diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2018-10-26 17:24:52 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2018-10-26 17:28:57 +0200 |
| commit | a4992fdcc6aab82b04a0ab6c81edafb05f1260d4 (patch) | |
| tree | 9d106de9d2eb0384382f1695f8c8cff77d2a38c0 /cabal-plan/.gitrepo | |
| parent | fac92997d71efdf33f0843e22da61c105ece2594 (diff) | |
git subrepo clone ../cabal-plan cabal-plan
subrepo:
subdir: "cabal-plan"
merged: "34506ab"
upstream:
origin: "../cabal-plan"
branch: "master"
commit: "34506ab"
git-subrepo:
version: "0.3.1"
origin: "https://github.com/ingydotnet/git-subrepo.git"
commit: "a7ee886"
Diffstat (limited to 'cabal-plan/.gitrepo')
| -rw-r--r-- | cabal-plan/.gitrepo | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/cabal-plan/.gitrepo b/cabal-plan/.gitrepo new file mode 100644 index 0000000..c0cb75b --- /dev/null +++ b/cabal-plan/.gitrepo @@ -0,0 +1,11 @@ +; DO NOT EDIT (unless you know what you are doing) +; +; This subdirectory is a git "subrepo", and this file is maintained by the +; git-subrepo command. See https://github.com/git-commands/git-subrepo#readme +; +[subrepo] + remote = ../cabal-plan + branch = master + commit = 34506abf26df4275e8c90771587d152d1c8531f1 + parent = 12e1be31c09161dec1fa70f15ede84ba9965a365 + cmdver = 0.3.1 |