diff options
| author | bunnei <bunneidev@gmail.com> | 2022-10-17 22:50:02 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-17 22:50:02 -0700 |
| commit | 1deb997eba8bd40c6af03bcfddd388e916d1331f (patch) | |
| tree | 62859131269ca0ac7f4b75b5cb545e7c08b3d3b1 /.ci/scripts/merge/apply-patches-by-label-private.py | |
| parent | c75a4bdeaa893974932221ad6ace69aa67e4d9fa (diff) | |
| parent | 88ccdaf10af1a055854c7b094882a3ed7af37e4b (diff) | |
Merge pull request #9087 from Morph1984/once
general: Add missing pragma once
Diffstat (limited to '.ci/scripts/merge/apply-patches-by-label-private.py')
0 files changed, 0 insertions, 0 deletions