diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2019-01-20 01:27:55 +0100 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 03:06:51 +0100 |
| commit | c9c46ee7a8c33d1182c8b687ac3c25268ca5ddbe (patch) | |
| tree | 1230caae392c9013489d092365d53cf22848e26b /cabal-plan/.gitrepo | |
| parent | 94f01bb7dbb163b2a97aa548457f37c7fd1c88fe (diff) | |
Use cabal-plan-0.5 from Hackage
Diffstat (limited to 'cabal-plan/.gitrepo')
| -rw-r--r-- | cabal-plan/.gitrepo | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/cabal-plan/.gitrepo b/cabal-plan/.gitrepo deleted file mode 100644 index d0ddadd..0000000 --- a/cabal-plan/.gitrepo +++ /dev/null @@ -1,12 +0,0 @@ -; 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 = target-selector - commit = e36c8ca8d4a2efd1dc83d5fd1f0193ebff3840b9 - parent = ee2f7ab509bdfbad38d54691cf781c08cdba9792 - cmdver = 0.4.0 - method = merge |