bluespice-tools A loose collection of scripts that are helpful in BlueSpice development and distribution