diff options
| author | fpi | 2020-02-23 18:40:09 +0100 |
|---|---|---|
| committer | fpi | 2020-02-23 18:40:09 +0100 |
| commit | 5bf8101f2a6f7ca60e09558b08430afc085d2044 (patch) | |
| tree | 9a416f498afa11e2a32dcb821cefc980741a28df /Makefile | |
| parent | Add git merge script (diff) | |
Exclude branches which match +$ in merge script
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions