git subrepo pull (merge) Proposal/LaTeX-proposal

subrepo:
  subdir:   "Proposal/LaTeX-proposal"
  merged:   "10ea724"
upstream:
  origin:   "git@github.com:KWARC/LaTeX-proposal.git"
  branch:   "master"
  commit:   "c1a9781"
git-subrepo:
  version:  "0.4.0"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "5d6aba9"
This commit is contained in:
Michael Kohlhase 2019-01-29 14:26:49 +01:00
commit d4b888d7c9

Diff Content Not Available