mirror of
https://gitlab2.federez.net/re2o/re2o
synced 2024-11-12 21:06:27 +00:00
0f7f14c1ea
Some icons had their id changed in the Debian version (4.7.0) so their id need to be updated. Also the width of an icon in a button was reduced to make it more compact. |
||
---|---|---|
.. | ||
machines |