Remove the GUI option
The GUI is currently non functionnal on FreeBSD from my testing and depends
on deprecated gnome2 libraries
Description
Description
Details
Details
- Provenance
bapt Authored on - Parents
- rP564008: Remove math/why3
- Branches
- Unknown
- Tags