switch back to LoveIt, other theme is deprectated

This commit is contained in:
Christoph Cullmann 2022-08-14 19:01:21 +02:00
parent 260b6803e7
commit 51fb029ca2
4260 changed files with 49552 additions and 87082 deletions

View file

@ -0,0 +1 @@
<svg role="img" viewBox="0 0 24 24" xmlns="http://www.w3.org/2000/svg"><title>Gurobi</title><path d="m11.036 0 7.032 1.359L24 18.37 18.37 24 0 17.635 1.805 5.952 11.036 0Zm12.389 18.239L17.887 2.36l-3.557 7.83 3.88 13.264 5.215-5.214Zm-5.822-16.46L11.138.528l-8.71 5.617 11.554 3.6 3.62-7.968Z"/></svg>

After

Width:  |  Height:  |  Size: 303 B