comparison src/parallel_execution/CMakeLists.txt @ 504:0bec9490c199

stack.agda comment
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 01 Jan 2018 19:17:01 +0900
parents d8b2036c6942
children a7127917c736
comparison
equal deleted inserted replaced
503:413ce51da50b 504:0bec9490c199