; 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