diff options
| author | Robert Hensing <roberth@users.noreply.github.com> | 2023-01-20 14:36:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-20 14:36:09 +0100 |
| commit | 04de0dd0b4059c75115c780dae8ddc49a847b0e5 (patch) | |
| tree | a375ff4b579de35a8873ed931c5f3a9f3b4223f0 /precompiled-headers.h | |
| parent | e90d7570a369016f3ce6242c2aefeb43c7d7f881 (diff) | |
| parent | dfbdde6d07ebb9a4d637221881d93a485f39714c (diff) | |
Merge pull request #7577 from hercules-ci/pr-template
.github: Add pull request template
Diffstat (limited to 'precompiled-headers.h')
0 files changed, 0 insertions, 0 deletions