Hermès Bélusca-Maïto 09c64b5982 [0.4.9] cherry-pick [CMD] Improve the situations when the console title can be changed. ... - Introduce two small helpers to change and restore the console title. - Console title can change even when internal commands are executed. - Note that when commands are run from within batch files, title is unchanged. - When "cmd.exe /c command" is run, the console title is unchanged; however when "cmd.exe /k command" is run, the console title changes. (cherry picked from commit a165999067) picked to fix CORE-14648 which was the last puzzle-piece to build ros on ros		2018-06-03 14:40:01 +02:00
..
applications	[0.4.9] cherry-pick [MSPAINT] When clicking selection, invalidate _and_ repaint Scroll Client _and_ Image Area	2018-05-27 12:57:03 +02:00
services	[0.4.9] [NFSD] Apply a hack to avoid CORE-13498	2018-06-02 13:23:06 +02:00
setup	[USETUP] Remove now-unneeded file.	2018-05-20 19:27:57 +02:00
shell	[0.4.9] cherry-pick [CMD] Improve the situations when the console title can be changed.	2018-06-03 14:40:01 +02:00
system	[AUTOCHK] Statically link to FS libs.	2018-05-10 10:49:17 +02:00
CMakeLists.txt