projects / subu / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bd4bae7 0b59e68)
Merge branch 'master' of https://github.com/Reasoning-Technology/subu
authorglenrendes <glenda@reasoningtechnology.com>
Sun, 7 Apr 2019 07:07:57 +0000 (09:07 +0200)
committerglenrendes <glenda@reasoningtechnology.com>
Sun, 7 Apr 2019 07:07:57 +0000 (09:07 +0200)

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.