HomeIsabelle/Phabricator

get rid of remote_vampire since it's hard, if possible at all, to follow…

Description

get rid of remote_vampire since it's hard, if possible at all, to follow Vampire's online options

Details

Provenance
blanchetteAuthored on
Parents
rISABELLE5c8a0580d513: merged
Branches
Unknown
Tags
Unknown