Mercurial > hg > Gears > GearsAgda
log src/parallel_execution/TaskManager.cbc @ 280:2c2e4e597eb0
age | author | description |
---|---|---|
Fri, 03 Feb 2017 17:47:27 +0900 | mir3636 | generate no compile errors |
Sun, 29 Jan 2017 22:15:32 +0900 | mir3636 | rename TaskManagerImpl.cbc |
Sun, 29 Jan 2017 21:26:27 +0900 | mir3636 | add \TaskManager.cbc |