diff options
| author | jvoisin | 2025-03-16 23:09:27 +0100 |
|---|---|---|
| committer | jvoisin | 2025-03-16 23:09:41 +0100 |
| commit | cf35e987a70ee9ffc7000f61f1dd74d003766e26 (patch) | |
| tree | e396ccbcbbd0c30085d75feaf9cfbfebd53ab96c /doc/source | |
| parent | 1973dcc5814c7a2a39e18339717c35b8f9415846 (diff) | |
Don't bail on vld compilation error on Debian
Diffstat (limited to 'doc/source')
0 files changed, 0 insertions, 0 deletions