A faster theme reloader/switcher plugin
authorRicardo Mones <ricardo@mones.org>
Tue, 24 Jan 2017 19:41:43 +0000 (20:41 +0100)
committerRicardo Mones <ricardo@mones.org>
Tue, 24 Jan 2017 19:41:43 +0000 (20:41 +0100)
commita60007c7e63f7ca5bea3c8ac2a0c3ea81dc5ff3b
treedb0bf6a9d3491cd43e69c7188ad6ed3ba2da924b
A faster theme reloader/switcher plugin
.gitignore [new file with mode: 0644]
COPYING [new file with mode: 0644]
Makefile [new file with mode: 0644]
theme-reloader.c [new file with mode: 0644]