Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Tue, 17 Jan 2017 18:11:39 +0900 | mir3636 | get arg |
Sat, 14 Jan 2017 19:52:02 +0900 | Tatsuki IHA | Add dependency.graffle |
Fri, 13 Jan 2017 18:16:02 +0900 | one | Add Todo |
Wed, 11 Jan 2017 17:19:53 +0900 | one | Add input data gear example |
Wed, 11 Jan 2017 16:52:27 +0900 | Tatsuki IHA | Add taskSend for TaskManager |
Mon, 09 Jan 2017 21:39:33 +0900 | Tatsuki IHA | Success create Task and inqueue Task |