Henrik Lissner 1a068f82f1 Add +workspace/load-last-session ... And fix the load last session button on dashboard.		2018-07-07 11:41:24 +02:00
..
default	Add +workspace/load-last-session	2018-07-07 11:41:24 +02:00
literate	config/literate: earlier check & no byte-compile	2018-06-10 17:28:17 +02:00