diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2023-05-09 16:19:12 +0200 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2023-05-09 16:19:12 +0200 |
| commit | fe0fcecd6185cad33f5a53354fb8af7b02c35d13 (patch) | |
| tree | b05e1f2f2e703677cb4a2ee14588fa4d9cc1c631 /src | |
| parent | ac7b55d8bbd249e400c7b3282e50cd88ae8f71b6 (diff) | |
Fix "Provide --without-fluid configure option " (#725)
Add new --disable-fluid configure option.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions