]> git.jsancho.org Git - lugaru.git/commit
Install more docs (AUTHORS, DEBUG-OPTIONS.txt)
authorRémi Verschelde <rverschelde@gmail.com>
Thu, 8 Dec 2016 18:02:11 +0000 (19:02 +0100)
committerRémi Verschelde <rverschelde@gmail.com>
Thu, 8 Dec 2016 18:02:13 +0000 (19:02 +0100)
commit4f4771bb67958d2e9180ba24d422141b9069e363
tree0460b6b9357e8be542ba615917dc51b7a7bba239
parent2a35a9f30b5cc6c2f2b06e706910a3fc5f756685
Install more docs (AUTHORS, DEBUG-OPTIONS.txt)
CMakeLists.txt