4 Commits

Author	SHA1	Message	Date
Jan Hrček	f6b6b36eb7	Apply hlint 3.3.2 suggestions	2021-08-29 17:08:06 +02:00
Julian Ospald	14fc6b7281	Remove string-interpolate wrt #212	2021-08-25 18:54:58 +02:00
Julian Ospald	2c7176d998	Use LabelOptic and add LeanAppState ... Wrt #186	2021-07-18 14:39:49 +02:00
Julian Ospald	2f62067d96	Windows support	2021-06-05 21:01:01 +02:00