Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Wed, 25 Jan 2017 04:14:50 +0900 | Tatsuki IHA | Fix createTask for main |
Wed, 25 Jan 2017 03:07:59 +0900 | Tatsuki IHA | Change initContext type from __code to void |
Wed, 25 Jan 2017 03:04:39 +0900 | Tatsuki IHA | Merge |