Clone
Jendrik Johannes
committed
on 07 Apr 17
Improve naming of 'configure project' build operations
This restores the naming to the state before the merge of #1033.
master + 441 more