diff options
| author | Ondřej Čertík <ondrej@certik.us> | 2020-01-13 23:01:40 -0700 |
|---|---|---|
| committer | Ondřej Čertík <ondrej@certik.us> | 2020-01-13 23:01:40 -0700 |
| commit | 17062f28decf1710595873992135da96d7ab2edc (patch) | |
| tree | b3f7c9feab257ced9089afd4f73169351102d18f /src/main.rs | |
| parent | 085a843335db2990b1837354c09a86e1496b486d (diff) | |
| download | fpm-17062f28decf1710595873992135da96d7ab2edc.tar.gz fpm-17062f28decf1710595873992135da96d7ab2edc.zip | |
Remove GitLab-CI
We will use GitHub and its CI from now on.
Diffstat (limited to 'src/main.rs')
0 files changed, 0 insertions, 0 deletions