Skip to content

.gitignore: generalize to build*, so that we can have build2 for develop2

Wuttke, Joachim requested to merge gi2 into develop

Merge request reports