Diego Prado Gesto 077b34b433 Fix size of the extruder icon
Now it should look the same in all places.
2018-11-27 14:49:01 +01:00
..
2018-11-26 17:10:48 +01:00
2018-11-27 14:49:01 +01:00