projects / subu / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (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)
Spelling change in makefile not yet checked in

1  2 
makefile patch | diff1 | diff2 | blob | history

diff --cc makefile
Simple merge
Unnamed repository; edit this file 'description' to name the repository.