-
Jens Nevens authored
subrepo: subdir: "systems/category-hierarchies" merged: "0c31577" upstream: origin: "gitlab@gitlab.ai.vub.ac.be:rvantrijp/category-hierarchies.git" branch: "master" commit: "0c31577" git-subrepo: version: "0.4.0" origin: "https://github.com/ingydotnet/git-subrepo" commit: "5d6aba9"
97da8564