diff options
| author | 2020-07-07 19:04:18 +0200 | |
|---|---|---|
| committer | 2020-07-07 19:04:18 +0200 | |
| commit | 4894a9e7914b16a242ad405afdbda84d86ec3830 (patch) | |
| tree | f1d28c9e1a0951aeb151867d7cc1ccf0b541cec8 /docs/en/developers | |
| parent | 3f9518b377c88ec4ce8fe538975f26b361e3dd65 (diff) | |
[CI] Switch to fixed hadolint version (#3092)
Diffstat (limited to 'docs/en/developers')
0 files changed, 0 insertions, 0 deletions
