diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-05 13:59:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-05 13:59:31 +0200 |
| commit | 25908c17c9a8665f81e5f55e0853212036f05b77 (patch) | |
| tree | 3f5478b8862a933ac33b3465aafadbff177c169b /misc/scripts/check_ci_log.py | |
| parent | 4b8609ded937481275146342bdd9aea1326adad3 (diff) | |
| parent | e363fdeed9c94e258f2d419ac5d4bdd5a8e73cf8 (diff) | |
Merge pull request #61696 from guilhermefelipecgs/fix_menus
Removes start/end states from menus
Diffstat (limited to 'misc/scripts/check_ci_log.py')
0 files changed, 0 insertions, 0 deletions