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
..
refine	Use environment variables for default workspace location on Windows, (#3840)	2021-06-10 08:09:09 +02:00
util	build(deps): bump butterfly from 1.0.4 to 1.1.1 (#3699)	2021-03-18 10:12:57 +01:00