Closed jmirabel closed 5 years ago
Is the purpose of this pull request to suppress the specific use of "master" and "devel" branches ? If so, what is the next step ? If not, could you
I messed up with my repo and mixed up two different things. I will clean my repo and re-open a new PR.
Is the purpose of this pull request to suppress the specific use of "master" and "devel" branches ? If so, what is the next step ? If not, could you