Select Git revision
-
Michael Kohlhase authored
subrepo: subdir: "kbibs" merged: "3abd672" upstream: origin: "git@github.com:KWARC/bibs.git" branch: "master" commit: "3abd672" git-subrepo: version: "0.3.1" origin: "git@github.com:ingydotnet/git-subrepo.git" commit: "ea9af4f"
Michael Kohlhase authoredsubrepo: subdir: "kbibs" merged: "3abd672" upstream: origin: "git@github.com:KWARC/bibs.git" branch: "master" commit: "3abd672" git-subrepo: version: "0.3.1" origin: "git@github.com:ingydotnet/git-subrepo.git" commit: "ea9af4f"