diff options
| author | Leedehai <18319900+Leedehai@users.noreply.github.com> | 2023-12-11 10:05:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-11 16:05:02 +0100 |
| commit | 70aff987a5812b620c48cd12f11d55eb483d6157 (patch) | |
| tree | 2aeefd9d22f78de3915c3c9d24aa17a955a1433a /docs/dev | |
| parent | 2dc0478ffe283f2433cbb58cf75d4f5f156fe74c (diff) | |
Ignore *.pdf for typ files in tests (#2881)
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions