tools
/
configui
1
0
Fork 0
Code Issues 14 Pull Requests Projects Releases 6 Wiki Activity

Merge wip/editor #13

Merged
evanchen merged 6 commits from wip/editor into master 2021-10-20 15:58:15 +00:00
Conversation 0 Commits 6 Files Changed 89
evanchen commented 2021-10-20 15:55:10 +00:00
Owner
There is no content yet.
evanchen added 6 commits 2021-10-20 15:55:11 +00:00
evanchen merged commit 1d55d83799 into master 2021-10-20 15:58:15 +00:00
evanchen referenced this issue from a commit 2021-10-20 15:58:15 +00:00
Merge wip/editor (#13)
evanchen deleted branch wip/editor 2021-10-20 17:31:07 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
bug

Something is not working   
duplicate

This issue or pull request already exists   
enhancement

New feature   
help wanted

Need some help   
invalid

Something is wrong   
question

More information is needed   
wontfix

This won't be fixed
No Label
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: tools/configui#13
There is no content yet.
Delete Branch "wip/editor"

Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?