Remove the pipeline designer button
The button was a dummy anyway. And now it's not even that.
Fixes #376
If no one protests to that change, we can merge it.
Edited by Jan Meizner
The button was a dummy anyway. And now it's not even that.
Fixes #376
If no one protests to that change, we can merge it.