-
Michael Kohlhase authored
subrepo: subdir: "lib/kbibs" merged: "603e91b5" upstream: origin: "git@github.com:KWARC/bibs.git" branch: "master" commit: "14704f24" git-subrepo: version: "0.4.0" origin: "git@github.com:ingydotnet/git-subrepo.git" commit: "5d6aba9"
a96d570a