Tue, 13 Feb 2018 13:57:53 +0100Removed dead code
Edouard Tisserant [Tue, 13 Feb 2018 13:57:53 +0100] rev 1930
Removed dead code