diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2018-12-02 19:58:14 +0100 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2019-01-22 03:06:51 +0100 |
commit | 132f65e0ca0fc54b1f457216af82b2da0c325be1 (patch) | |
tree | 6c16abf6f0cd823d6bbd4b258d5eb21303b54745 /src/CabalHelper/Compiletime/Cabal.hs | |
parent | b7177f8b7f972258eb4fa72217d2896d8a45849a (diff) |
git subrepo push --branch=target-selector cabal-plan
subrepo:
subdir: "cabal-plan"
merged: "e36c8ca"
upstream:
origin: "../cabal-plan"
branch: "target-selector"
commit: "e36c8ca"
git-subrepo:
version: "0.4.0"
origin: "https://github.com/ingydotnet/git-subrepo.git"
commit: "5d6aba9"
Diffstat (limited to 'src/CabalHelper/Compiletime/Cabal.hs')
0 files changed, 0 insertions, 0 deletions