diff options
| author | Remi Collet <remi@remirepo.net> | 2022-03-22 15:18:10 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2022-03-22 15:18:10 +0100 |
| commit | 432fce7e9b41cb252af82fd589e25cd39d489f8a (patch) | |
| tree | 728f6cfd31f9b911a4cdd2eab83f8b5b42db9481 /.gitignore | |
| parent | 03bc467b9aa1d382b3103c22ddb9423b6ade85f4 (diff) | |
Avoid arginfo to be regenerated
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions