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)
commite982ad5a6e4cfb9eb03c0f4158882ef38eba591f
tree1fa45d9a036af08350b6a4b609c669ac6ce912a7
parentbd4bae7df144ec80233d32e587f03ce38532230c
parent0b59e68ff8f44648478522081d8a2dfdf5cf6fdd
Merge branch 'master' of https://github.com/Reasoning-Technology/subu