Commit 1735e851 authored by Jens Nevens's avatar Jens Nevens

git subrepo push systems/network

subrepo:
  subdir:   "systems/network"
  merged:   "9c01432"
upstream:
  origin:   "gitlab@gitlab.ai.vub.ac.be:ehai/network.git"
  branch:   "master"
  commit:   "9c01432"
git-subrepo:
  version:  "0.4.0"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "5d6aba9"
parent ced512de
......@@ -6,7 +6,7 @@
[subrepo]
remote = gitlab@gitlab.ai.vub.ac.be:ehai/network.git
branch = master
commit = 2a9bc0d1a825c5af3428273ff37c7306ab76f621
parent = abc18f640c13f5c58d080a0b853c1de810ff432d
commit = 9c01432f001adcaf26faf88fa88e228151f78b7f
parent = ced512de3d82f3bfcdb6697ca858be4e5909879f
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