search

radekkozak / discordian-plugin

Discordian plugin for tweaking Discordian theme
14 stars 0 forks source link

Make Pretty Tasks in Editor mode optionable for the user #3

Closed radekkozak closed 3 years ago