diff options
| author | Jeroen Bakker <jeroen@blender.org> | 2022-08-03 14:28:05 +0300 |
|---|---|---|
| committer | Jeroen Bakker <jeroen@blender.org> | 2022-10-10 14:44:20 +0300 |
| commit | 5dd77444867d1b944f37f5a7a75c7ee29bb771a5 (patch) | |
| tree | 785c46812ac12597ea9864a8e8aca46ca8da696f /.github | |
| parent | 7df5695ce723de700c6ded9c042f9d977ef33f0b (diff) | |
Fix compilation of VALIDATION checks.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions