diff options
| author | Enrico Tassi | 2020-12-08 15:33:21 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-01-04 10:18:25 +0100 |
| commit | fa7c0f9d55a5a33a0f76ddb0c5794a06117c6914 (patch) | |
| tree | 3dd911a4a8bd9b95b01699750d75de308af99b2e /dev/ci/gitlab.bat | |
| parent | 66e24a2365b235bd35cbba71adce30dccea60b55 (diff) | |
[win] remove old scripts, we now use the platform ones
Diffstat (limited to 'dev/ci/gitlab.bat')
0 files changed, 0 insertions, 0 deletions