Add a (shorted) mechanism for specifying configure options per branch #753
Closed
stratakis wants to merge 2 commits into
Closed
Add a (shorted) mechanism for specifying configure options per branch #753stratakis wants to merge 2 commits into
stratakis wants to merge 2 commits into