only cosmetic
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 10 Mar 2015 14:40:59 +0000 (15:40 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 10 Mar 2015 14:40:59 +0000 (15:40 +0100)
commit832e4279625c534790f1bd7f1099139e1e455ccd
tree8084dd7ff97f5a089321db85c0909790efab09dc
parentc2f1c9743a7de015cb20ee966efd22e79efea100
only cosmetic
I have noticed numerous failures in get_sliver_process though
tools.py