blob: 22e29c4175be9f32aa0cadbb2c51a70ac5d78955 (
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 = master
commit = cd93de6ab26a15383ea9bea3005cec486be9af95
parent = afed7936ebb2ace14bc93535019b638130b451ab
cmdver = 0.4.0
method = merge
|