Skip to content

No labels!

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

Administration
Administration
Annoyance
Annoyance
Not quite a bug.
cleanup
cleanup
Component: Core
Component: Core
Component: Documentation
Component: Documentation
Component: Export
Component: Export
Component: GUI
Component: GUI
Component: Import
Component: Import
Component: RemoteEditor
Component: RemoteEditor
dependencies
dependencies
Pull requests that update a dependency file
duplicate
duplicate
feedback wanted
feedback wanted
fixed/solved/answered
fixed/solved/answered
good first issue
good first issue
help wanted
help wanted
importance: high
importance: high
importance: low
importance: low
invalid
invalid
Java Lowlevel
Java Lowlevel
A problem that sits in the underlying JVM
not a bug
not a bug
On Hold
On Hold
Porting
Porting
question/support/discussion
question/support/discussion
rejected
rejected
replaced
replaced
testing wanted
testing wanted
Tool
Tool
A semi-separate tool that goes under the Tools menu
Waiting for feedback
Waiting for feedback