diff options
| author | Andrei Karas <akaras@inbox.ru> | 2016-06-07 00:58:58 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2016-06-07 01:07:44 +0300 |
| commit | 3e6ef37b28c085e969cf80779391ea64030434a7 (patch) | |
| tree | ddaa08bb6fd036dd4a98ad404bd3af0f9440fd65 /src/gui/windowmenu.cpp | |
| parent | dc2d40c0014ca5905086db166821ed9c42d36311 (diff) | |
| download | mv-3e6ef37b28c085e969cf80779391ea64030434a7.tar.gz mv-3e6ef37b28c085e969cf80779391ea64030434a7.tar.bz2 mv-3e6ef37b28c085e969cf80779391ea64030434a7.tar.xz mv-3e6ef37b28c085e969cf80779391ea64030434a7.zip | |
Move most slow deheader ci jobs into first deheader jobs.
Diffstat (limited to 'src/gui/windowmenu.cpp')
0 files changed, 0 insertions, 0 deletions