Commit ced512de authored by Jens Nevens's avatar Jens Nevens

git subrepo push systems/monitors

subrepo:
  subdir:   "systems/monitors"
  merged:   "e46e210"
upstream:
  origin:   "gitlab@gitlab.ai.vub.ac.be:ehai/monitors.git"
  branch:   "master"
  commit:   "e46e210"
git-subrepo:
  version:  "0.4.0"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "5d6aba9"
parent 93f3423a
......@@ -6,7 +6,7 @@
[subrepo]
remote = gitlab@gitlab.ai.vub.ac.be:ehai/monitors.git
branch = master
commit = 099907e20994cffb3f15fb5a3d5a8923de7dbd1a
parent = 54fc00f762764e6f747398f4d886afc84cbec005
commit = e46e210d73a358202c32fb552d46eb666af6bfc5
parent = 93f3423ac0b1485252e49b092679f203f84d50c8
method = merge
cmdver = 0.4.0
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment