Skip to content

Use marks to store metadata instead of workspace names #55

infokiller started this conversation in General
Use marks to store metadata instead of workspace names #55
@infokiller infokiller
May 22, 2019 · 0 comments
Return to top
Discussion options

infokiller
May 22, 2019
Maintainer

You must be logged in to vote

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
1 participant
@infokiller
Converted from issue

This discussion was converted from issue #13 on July 31, 2022 10:25.