-
POTTIER Francois authored
It almost did not have any effect any more, anyway. It should have been removed when the construction algorithm was re-implemented from scratch.
4f22ba0e
It almost did not have any effect any more, anyway. It should have been removed when the construction algorithm was re-implemented from scratch.