using picnic min css now, picnic.css just did not exist anymore

2020-01-14 21:11:27 +01:00
parent 404bafdae3
commit 78f88926ea
2 changed files with 4 additions and 3 deletions
--- a/res/main.less
+++ b/res/main.less
@@ -1,4 +1,4 @@
-@import (less) "picnic.css";
+@import (less) "picnic.min.css";
@import (less) "colors.less";

 .translation-element-margin {