diff options
| author | Son Ho | 2022-01-21 10:47:15 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-21 10:47:15 +0100 |
| commit | 0727595a26b7bbe03568c7e556a09ff449acaf87 (patch) | |
| tree | 0761ba2a8f623927d5b3b6c7cefd7867f0ee32b4 /dune-project | |
| parent | 67c48a5b989323d9e1ba79ff257cb113736b7ef3 (diff) | |
Update projections_intersect to write it in terms of a more generic
function
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions