diff options
| author | Joel Challis <git@zvecr.com> | 2021-10-20 21:04:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-20 21:04:23 +0100 |
| commit | 5500c428dd41348243e8a1695986b0da070e2ffa (patch) | |
| tree | 1f3c6aef1451ab51cbcc3b80faa69fbb042c0b82 /users/dhertz/dhertz.c | |
| parent | 84d5198ef9b4106fe61530211b5b5bb1a2fc52c8 (diff) | |
Rename platform SRC variable (#14894)
Diffstat (limited to 'users/dhertz/dhertz.c')
0 files changed, 0 insertions, 0 deletions