Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Fri, 16 Dec 2016 19:40:42 +0900 | mir3636 | create generate_stub.pl |
Fri, 16 Dec 2016 17:56:39 +0900 | Shinji KONO | fixes |
Fri, 16 Dec 2016 17:52:53 +0900 | Shinji KONO | close bad one parallel_execution |
Fri, 16 Dec 2016 17:50:00 +0900 | Shinji KONO | fix CMaleLists.txt parallel_execution |
Fri, 16 Dec 2016 17:43:58 +0900 | Shinji KONO | close old one parallel_execution |
Fri, 16 Dec 2016 16:38:31 +0900 | mir3636 | fix |
Fri, 16 Dec 2016 13:05:03 +0900 | Shinji KONO | add command execution in CMakeList.txt |