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