Thanks for the update. By the way, is there any reason to not remove the symbols in the Windows and Linux VM libraries? It saves several MB. At least for DrGeo distribution, there is no use.
Hilaire Le 02/02/2019 à 09:01, Alistair Grant a écrit : > I can't see any reason for keeping this. The sources file is now > generated for each image, so it doesn't make sense to distribute it > with the VM. > > I'll remove this in a few days if there aren't any other objections. -- Dr. Geo http://drgeo.eu
