blob: d0ddadd5697a593de4380be037d36e71f2eb08be (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
; 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
|
