3 Commits

Author	SHA1	Message	Date
Janusz Mordarski	4a74349635	feat(refined): allow selecting git branch by changing prefix to `:` (#10400)	2021-11-09 09:50:25 +01:00
Kevin Kuhl	a85ce89a3d	refined: reset command exec time (#6117) ... Fixes #6116	2019-04-07 20:31:28 +02:00
Marc Cornellà	8653f5da6d	Rename pure theme to 'refined'	2017-03-16 18:11:18 +01:00