]> git.sesse.net Git - remoteglot/commit
projects / remoteglot / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0888898) | patch
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)
commitcf9785772b5dcb8de2376b4b1ab5951d868b3140
tree1ed97899f54bcecee36944c71bc609aa85c56c3ftree | snapshot
parent0888898bd6f2aa4897bd89e84fa0bfd6f05a5099commit | diff
Add support for a second engine, for showing simple refutations.
remoteglot.pl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.