Age | Commit message (Expand) | Author |
---|---|---|
2021-04-13 | rename scripts, purge BB reserve topping | Florian Dold |
2020-08-08 | temporarily remove tipping setup, as it breaks the BB build | Florian Dold |
2020-07-24 | Automatic creation of tip reserves. | MS |
2020-07-22 | remove workaround | MS |
2020-07-22 | Quick fix to tolerate conflicting instance names. | MS |
2020-07-21 | create instances automatically | MS |