Graphical selection of groups of gaugings #116

Open

Open

Graphical selection of groups of gaugings#116

Feature

Assignees

Labels

opened

on Jul 16, 2025

It would be useful for discarding a subset of gaugings (instead of one by one).

Metadata

Assignees

IvanHeriver

Labels

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests