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
..
Configurations.java	Prepended license text to java source	2010-10-20 20:45:52 +00:00
Refine.java	Use environment variables for default workspace location on Windows, (#3840)	2021-06-10 08:09:09 +02:00
ValidateHostHandler.java	Validate Host header of incoming HTTP requests (#3212)	2021-03-22 12:53:39 +01:00