Rémi Verschelde c96fa0f23e Merge pull request #7757 from volzhs/save-debug-options ... Save and restore debug options for each project		2017-02-12 23:20:48 +01:00
..
editor	Merge pull request #7757 from volzhs/save-debug-options	2017-02-12 23:20:48 +01:00