chiark / gitweb /
distorted.lisp: vampire is out of action, so remove it from NS lists.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 14 Feb 2016 02:51:16 +0000 (02:51 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 14 Feb 2016 02:51:16 +0000 (02:51 +0000)

No differences found