diff options
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 |