; 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