-
Tim-Philipp Müller authored
This was never even ported to 0.10, and I don't think it's particularly useful, since it's just a control interface really. Let's remove it.
501930dc
This was never even ported to 0.10, and I don't think it's particularly useful, since it's just a control interface really. Let's remove it.