diff options
| author | Arisotura <thetotalworm@gmail.com> | 2020-04-15 11:30:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-15 11:30:14 +0200 |
| commit | 1c756843f042644d045ab63835101e2cbe5b57bf (patch) | |
| tree | 9ddafa3ac902b24b7b6560bcaf7b486e99dbfee8 /src/dolphin | |
| parent | 1b5e53f1df15a76883dcf8859a466aeee557c766 (diff) | |
| parent | fa1558319bbce195324fe4123f5a941cad9cafd3 (diff) | |
Merge pull request #588 from rzumer/gh-master
Disable CI on non-master branches
Diffstat (limited to 'src/dolphin')
0 files changed, 0 insertions, 0 deletions