projects / subu / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 667d964 8e548f1)
Merge branch 'master' of https://github.com/Reasoning-Technology/subu
authorglenrendes <glenda@reasoningtechnology.com>
Sat, 6 Apr 2019 16:04:06 +0000 (18:04 +0200)
committerglenrendes <glenda@reasoningtechnology.com>
Sat, 6 Apr 2019 16:04:06 +0000 (18:04 +0200)
commitbd4bae7df144ec80233d32e587f03ce38532230c
tree1f6d0d26738af391d56c151db5faf9227b985cf2tree | snapshot
parent667d964257c68c5c002cfb54be96edecf245e7cacommit | diff
parent8e548f1149c5326884e3a6f3fb9b8a3be0daf543commit | diff
Merge branch 'master' of https://github.com/Reasoning-Technology/subu

Spelling change in makefile not yet checked in
makefile diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.