Labels · Florian Guthmann / mmt-mode · GitLab

All

Prioritized labels 0

Drag to reorder prioritized labels and change their relative priority.

Other labels 9

WIP

Florian Guthmann / mmt-mode
- Issues
- Merge requests
bug

Florian Guthmann / mmt-mode
- Issues
- Merge requests
critical

Florian Guthmann / mmt-mode
- Issues
- Merge requests
extension

Florian Guthmann / mmt-mode
- Issues
- Merge requests
feature

Florian Guthmann / mmt-mode
- Issues
- Merge requests
need help

Florian Guthmann / mmt-mode
- Issues
- Merge requests
needs more info

Florian Guthmann / mmt-mode
- Issues
- Merge requests
untested

Florian Guthmann / mmt-mode
- Issues
- Merge requests
wontfix

Florian Guthmann / mmt-mode
- Issues
- Merge requests