An error occurred while fetching folder content.
Sander, Oliver
authored
Using LocalIndexSet objects was mandatory with dune-functions-2.5 and earlier. However, we only support 2.6 and later anyway, so let's get rid of the backward-compatibility code.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||