deprecated.bib

7 years ago

git subrepo clone git@github.com:KWARC/bibs.git kbibs · 49d93dfc

subrepo:
  subdir:   "kbibs"
  merged:   "ab88a3c"
upstream:
  origin:   "git@github.com:KWARC/bibs.git"
  branch:   "master"
  commit:   "ab88a3c"
git-subrepo:
  version:  "0.3.1"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "a7ee886"

49d93dfc

History

git subrepo clone git@github.com:KWARC/bibs.git kbibs

Michael Kohlhase authored 7 years ago

subrepo:
  subdir:   "kbibs"
  merged:   "ab88a3c"
upstream:
  origin:   "git@github.com:KWARC/bibs.git"
  branch:   "master"
  commit:   "ab88a3c"
git-subrepo:
  version:  "0.3.1"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "a7ee886"