minor lint fixes #4
Owner
No description provided.
dannym
added 1 commit 2025-04-14 13:04:29 +00:00
Merge pull request 'minor lint fixes' (#4) from minor-lint-and-ui-fixes into master
No reviewers
Labels
No labels
effort
large
effort
medium
effort
small
priority
critical
priority
high
priority
low
priority
medium
status
blocked
status
duplicate
status
in-progress
status
needs-review
status
wontfix
type
bug
type
documentation
type
enhancement
type
feature
type
refactor
type
security
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: Arx/Eve#4
Loading…
Add table
Reference in a new issue
No description provided.
Delete branch "minor-lint-and-ui-fixes"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?