Closed fdodino closed 4 years ago
Wollok Dark Mode and some new hotfixes
(this is the second try due to permissions in Amazon Servers)
Coverage increased (+0.005%) to 86.195% when pulling 2241b918c0b8fab06daa5daeb5f521f8168eed32 on dev into 63628e027c0a068edf741677f3cae456bc903869 on master.
Wollok Dark Mode and some new hotfixes
(this is the second try due to permissions in Amazon Servers)