diff options
| author | Daniel Kolesa | 2022-11-01 20:14:54 +0100 |
|---|---|---|
| committer | jvoisin | 2025-10-31 22:16:21 +0100 |
| commit | 8915dc13de44fed3a076a9fd51eb1ab2b5502d7b (patch) | |
| tree | c56a13e358ada44ed8048c0b78d8c2837ea9c27e /.gitignore | |
| parent | 8dedaf5cadf154d2ab9abfccb3b80347b5e78e18 (diff) | |
avoid __extension__ with clang
It seems useless and triggers 'error: expected external declaration'
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions