Allround cleanup across the configuration #4

Manually merged
jct merged 2 commits from cleanup into master 2019-11-28 10:03:12 +01:00
Owner
No description provided.
jct closed this pull request 2019-11-28 10:03:12 +01:00
jct deleted branch cleanup 2019-11-28 10:03:24 +01:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: jct/deskcontrol#4
No description provided.