diff options
| author | Matej Urbas <matej.urbas@gmail.com> | 2023-05-08 19:21:57 +0100 |
|---|---|---|
| committer | Matej Urbas <matej.urbas@gmail.com> | 2023-05-08 19:21:57 +0100 |
| commit | 1ea1e378de22bf32b5ccc1edf66798ab91299ac7 (patch) | |
| tree | 44afe2e70cb4e6908979f245cc10a86e9e52be5c /.github | |
| parent | 613bc699bb72d32c7d0622bf2996b2ecc8012455 (diff) | |
removes MaxSubstitutionJobsSetting
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions