From a4992fdcc6aab82b04a0ab6c81edafb05f1260d4 Mon Sep 17 00:00:00 2001 From: Daniel Gröber Date: Fri, 26 Oct 2018 17:24:52 +0200 Subject: git subrepo clone ../cabal-plan cabal-plan subrepo: subdir: "cabal-plan" merged: "34506ab" upstream: origin: "../cabal-plan" branch: "master" commit: "34506ab" git-subrepo: version: "0.3.1" origin: "https://github.com/ingydotnet/git-subrepo.git" commit: "a7ee886" --- cabal-plan/.gitrepo | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 cabal-plan/.gitrepo (limited to 'cabal-plan/.gitrepo') diff --git a/cabal-plan/.gitrepo b/cabal-plan/.gitrepo new file mode 100644 index 0000000..c0cb75b --- /dev/null +++ b/cabal-plan/.gitrepo @@ -0,0 +1,11 @@ +; 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 = 34506abf26df4275e8c90771587d152d1c8531f1 + parent = 12e1be31c09161dec1fa70f15ede84ba9965a365 + cmdver = 0.3.1 -- cgit v1.2.3