8 Commits

Author	SHA1	Message	Date
Julian Ospald	67b7b2f292	Don't print to stdout during logging	2022-01-19 15:40:58 +01:00
Julian Ospald	3a5f8d6139	Fix build on windows	2021-11-12 15:01:24 +01:00
Julian Ospald	626a2dd020	More debug logging	2021-11-12 01:01:21 +01:00
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