Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fin/ulo-section
  • week45/fancy-builds
  • fin/applogos
  • week41/final-review
  • week41/review-again
  • week41/reporting-on-app
  • week40/apppep
  • week40/review-report
  • week40/elementary
  • week39/transitive
  • week39/lazy-scores
  • week39/application-sections-fix
  • week39/feedback-holes
  • week39/feedback-versioning
  • week38/slide-review
  • issue13/fix
  • issue13/version-upgrade
  • issue12/setup
  • issue10/explorer
20 results

schaertl_andreas

  • Clone with SSH
  • Clone with HTTPS
    • Michael Kohlhase's avatar
    git subrepo clone git@github.com:KWARC/bibs.git kbibs
    Michael Kohlhase authored 
    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
    Michael Kohlhase's avatar 49d93dfc
    History
    Name Last commit Last update