Skip to content
  • Michael Kohlhase's avatar
    git subrepo pull (merge) lib/kbibs · a96d570a
    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