Tobias Hunger 544f65f44d server-mode: Set global configuration of cmake via a command
"setGlobalSettings" can be used to change settings reported by
"globalSettings" command.
2016-09-26 14:25:20 -04:00
..
2016-07-10 11:05:56 +02:00
2016-07-13 09:15:16 -04:00
2016-09-19 08:57:58 -04:00