Floris Bruynooghe 99a4a1a784 Merge pull request #1791 from nicoddemus/ide-integration-1790 ... Internal adjustments for easier integration with IDEs		2016-08-07 23:50:50 +01:00
..
en	Merge pull request #1791 from nicoddemus/ide-integration-1790	2016-08-07 23:50:50 +01:00