tree 86f5ebf1aac0f2d9f1c81f87034b264898d6301f
parent 8f67ec29e5d40b1dfa63c039f4d8df10f13cc88a
author Nguyen Anh Quynh <aquynh@gmail.com> 1411181941 +0800
committer Nguyen Anh Quynh <aquynh@gmail.com> 1411181941 +0800

correct COMPILE_CMAKE.TXT after the last change to names of CMake options