add trailing newline in sliver's personality config file
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 2 Jun 2010 10:54:18 +0000 (10:54 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 2 Jun 2010 10:54:18 +0000 (10:54 +0000)
commit840ae606578c13830db0be0b8de735fe0c318199
treea32959f0896ac64e93a08de3de26de7fa7297b01
parent72c59bbf519f1e941b51ec1e5649e1b2faffe302
add trailing newline in sliver's personality config file
sliver_vs.py