Mercurial > hg > Gears > GearsAgda
log
age | author | description |
---|---|---|
Mon, 23 Jan 2017 20:00:46 +0900 | ikkun | fix taskManager |
Mon, 23 Jan 2017 17:49:36 +0900 | mir3636 | fix worker compile error |
Sun, 22 Jan 2017 20:17:11 +0900 | mir3636 | TaskManager |
Sun, 22 Jan 2017 20:02:21 +0900 | mir3636 | create worker start_code |
Sun, 22 Jan 2017 19:02:12 +0900 | mir3636 | worker interface |
Sun, 22 Jan 2017 18:19:23 +0900 | mir3636 | fix |
Sat, 21 Jan 2017 20:21:00 +0900 | ikkun | fix worker |