]> git.sesse.net Git - remoteglot/commitdiff
projects / remoteglot / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: cf97857)
Add support for a second engine, for showing simple refutations.
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Fri, 15 Nov 2013 00:02:25 +0000 (01:02 +0100)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Fri, 15 Nov 2013 00:02:25 +0000 (01:02 +0100)

No differences found
Unnamed repository; edit this file 'description' to name the repository.