5 Commits

Author	SHA1	Message	Date
Julian Ospald	fdf45e0fe6	Do etags hashing wrt #193	2021-07-25 23:15:59 +02:00
Julian Ospald	6143cdf2e0	Add --offline switch wrt #186	2021-07-19 13:49:24 +02:00
Julian Ospald	2c7176d998	Use LabelOptic and add LeanAppState ... Wrt #186	2021-07-18 14:39:49 +02:00
Julian Ospald	443522d526	Improve windows bootstrapping and make msys2 configurable	2021-06-07 19:33:12 +02:00
Julian Ospald	2f62067d96	Windows support	2021-06-05 21:01:01 +02:00