diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2024-01-09 21:40:42 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2024-01-15 13:20:55 +0300 |
| commit | 9fea995ec4eff7d9aad66d2391329ea3bd4dbad5 (patch) | |
| tree | 96117e6b6297bf410b7ac5aead1f268904c9dc65 /doc/.gitignore | |
| parent | 8365a8f55e05628109db9cf6c3321932aa0b0f16 (diff) | |
Always reconfigure dependency if configuration is specified on command line for it (GH issue #354)
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions