diff options
| author | Dario Nieuwenhuis <[email protected]> | 2021-07-05 02:06:11 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2021-07-05 02:06:11 +0200 |
| commit | fd38e789572c044e7d26d26379fa00f2adefdb03 (patch) | |
| tree | 0371480945b7f034042ba13327bce3e61803150d /.github | |
| parent | 3ce32d662406d4faf32a2d3fd8bb58c07ac3ca50 (diff) | |
Remove old unused ci.sh
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions