card images as scalable format?
What is the native format the images are created in? If it is something else than a raster image (like png), but rather a possibly scalable format like most svg/ai: could we get that instead?
Please note that git.rz.uni-jena.de is deprecated and will be disabled on October 1. Please update your repo URLs if git.rz.uni-jena.de is still used.
You can check it with "git remote -v" for each repo, and change it with "git remote set-url origin git.uni-jena.de", if necessary.
What is the native format the images are created in? If it is something else than a raster image (like png), but rather a possibly scalable format like most svg/ai: could we get that instead?