Mercurial > hg > Gears > GearsAgda

diff src/CMakeLists.txt @ 96:0ff35d4c6480

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merge
author Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp>
date Fri, 29 Jan 2016 05:37:11 +0900
parents 11e2a9eba9c1
children 485ea0290fae
line wrap: on
line diff
--- a/src/CMakeLists.txt	Fri Jan 29 05:36:52 2016 +0900
+++ b/src/CMakeLists.txt	Fri Jan 29 05:37:11 2016 +0900
@@ -14,5 +14,4 @@
 add_subdirectory(allocate)
 add_subdirectory(list)
 add_subdirectory(llrb)
-add_subdirectory(tmp)
 add_subdirectory(synchronizedQueue)