diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2025-03-04 21:32:23 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2025-03-06 20:57:10 +0100 |
| commit | e74106cc7b236fac4913b192af1faab688736f33 (patch) | |
| tree | 90829d77f54fc1d63e192678f8dbd39cb5707ff4 /lib/configuration/syntax.ml | |
| parent | 81db1bfd580791910646525e30bc45af34533987 (diff) | |
Added the possibility to filter a group function without giving a group
Diffstat (limited to 'lib/configuration/syntax.ml')
0 files changed, 0 insertions, 0 deletions