Convert images to svg - Githubissues

experimentarium / times

Documentation repository for TIMES

0 stars 2 forks source link

Closed olejandro closed 4 months ago

olejandro commented 4 months ago

This PR converts images to svg that were present as vector graphics in the original documentation. Closes #23