Skip to content
GitLab
Explore
Sign in
PDELab
Labels
All
Name
Labels can be applied to issues and merge requests. Group labels are available for any project within the group.
Labels
Backend
Issues
Merge requests
Discussing
Issues
Merge requests
Finite Elements
Issues
Merge requests
ISTL
Issues
Merge requests
Implementing
Issues
Merge requests
Might be postponed
Issues
Merge requests
New
Issues
Merge requests
adaptivity
Issues
Merge requests
backport
Issues
Merge requests
bug
Issues
Merge requests
buildsystem
Issues
Merge requests
cleanup
Issues
Merge requests
confirmed
Issues
Merge requests
critical
Issues
Merge requests
doc
Issues
Merge requests
documentation
Issues
Merge requests
duplicate
Issues
Merge requests
faq
Issues
Merge requests
feature
Issues
Merge requests
fixed
Issues
Merge requests
Prev
1
2
Next
Prioritized