diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2025-03-16 10:45:12 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2025-03-16 10:45:12 +0100 |
| commit | 7bfbb67d83011f3e1845dcb9e44c3b6a5e93a9da (patch) | |
| tree | cfe51da029786143134c8a21f803566ef00788ea /lib/syntax/cte.ml | |
| parent | 54cff645221d91f993e6e766e1827075bf194a44 (diff) | |
Switched to implicit_transivive_deps to false
Diffstat (limited to 'lib/syntax/cte.ml')
0 files changed, 0 insertions, 0 deletions