RandomSec/server
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
..
IDEs Cleanup most Eclipse config files 2018-09-18 14:51:27 +01:00
lib-local/native/windows Migrate local dependencies to Maven Central. Closes #2365. 2020-03-07 21:35:31 +00:00
src/com/google Use environment variables for default workspace location on Windows, (#3840) 2021-06-10 08:09:09 +02:00
pom.xml Use environment variables for default workspace location on Windows, (#3840) 2021-06-10 08:09:09 +02:00