diff options
| author | Vincent Laporte | 2019-10-10 09:43:56 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-22 06:38:20 +0000 |
| commit | c887547a927d43fdcf3d1031d360c0036e7e252d (patch) | |
| tree | 8713fed8b1e3e026288d42d182b7c41657db0e97 /dev/ci | |
| parent | 3dc2750c9b5616d7a8eca1e5288e95c520278eb6 (diff) | |
Zdiv: do not use “omega”
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions