Brad King a833496199 server-mode: Rename variable CMake_{HAVE => ENABLE}_SERVER_MODE
The latter is a better name for making it a public-facing option.
2016-09-29 13:20:10 -04:00
..
2015-12-18 10:02:07 -05:00
2015-12-18 10:02:07 -05:00
2016-09-29 00:01:10 -04:00
2006-03-10 13:54:57 -05:00