Skip to content

No labels!

There aren’t any labels for this repository quite yet.

18 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bug
bug
Something isn't working
codeberg
codeberg
dependencies
dependencies
Pull requests that update a dependency file
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
dwd-geoserver
dwd-geoserver
dwd-open-data-server
dwd-open-data-server
enhancement
enhancement
New feature or request
f-droid
f-droid
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
index-git-lab-pages
index-git-lab-pages
invalid
invalid
This doesn't seem right
javadoc-git-lab-pages
javadoc-git-lab-pages
question
question
Further information is requested
status
status
summary-webpage-frama-io
summary-webpage-frama-io
wontfix
wontfix
This will not be worked on