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
..
com/google	Use environment variables for default workspace location on Windows, (#3840)	2021-06-10 08:09:09 +02:00