Skip to content
  • Michael Kohlhase's avatar
    git subrepo commit (merge) lib/kbibs · 208c870f
    Michael Kohlhase authored
    subrepo:
      subdir:   "lib/kbibs"
      merged:   "880fcf05"
    upstream:
      origin:   "git@github.com:KWARC/bibs.git"
      branch:   "master"
      commit:   "86fd833d"
    git-subrepo:
      version:  "0.4.0"
      origin:   "git@github.com:ingydotnet/git-subrepo.git"
      commit:   "5d6aba9"
    208c870f