chiark / gitweb /
build-sys: move dev-setup to label.la