RandomSec/server/src/com
Antonin Delpeuch 1654cd31b1
Use environment variables for default workspace location on Windows, (#3840)
* Use environment variables for default workspace location on Windows, for #2961.

* Mention possibility of using System.getProperty instead

* Migrate to user.profile java property for Windows workspace dir fallback
2021-06-10 08:09:09 +02:00
..
google Use environment variables for default workspace location on Windows, (#3840) 2021-06-10 08:09:09 +02:00