You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Previously, we used to mostly include PNG/JPG files - SVG files are most certainly better (mainly for diagrams and such), and it would be a great QOL improvement to replace them where applicable.
This is most definitely not urgent, probably something to be done during the summer break.
The text was updated successfully, but these errors were encountered:
Previously, we used to mostly include PNG/JPG files - SVG files are most certainly better (mainly for diagrams and such), and it would be a great QOL improvement to replace them where applicable.
This is most definitely not urgent, probably something to be done during the summer break.
The text was updated successfully, but these errors were encountered: