Rename cmake options so GUIs order them better
commit84944af1425c1fe535a3457b1d63e790db76cef3
authorChris Robinson <chris.kcat@gmail.com>
Mon, 24 Dec 2012 13:20:04 +0000 (24 05:20 -0800)
committerChris Robinson <chris.kcat@gmail.com>
Mon, 24 Dec 2012 13:20:04 +0000 (24 05:20 -0800)
tree2c2e9f79dbed6b7f9cf79cf66b3bceaf804f190e
parentbe25e6802dacad78876c6fa1d6a5c63797b8a9ed
Rename cmake options so GUIs order them better
CMakeLists.txt