diff options
| author | Joel Challis <git@zvecr.com> | 2023-02-28 14:18:43 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-28 14:18:43 +0000 |
| commit | 05631b276d557824518cdb0c7d5d78c8f118891c (patch) | |
| tree | a50d9b4485f5a7d28cc231f2378f771715883edd /users/issmirnov/config.h | |
| parent | bacec14073b2e897d5a52caf12de5a6a1f7b4078 (diff) | |
Flag "builddefs" as core changes (#19950)
Diffstat (limited to 'users/issmirnov/config.h')
0 files changed, 0 insertions, 0 deletions