Mercurial > hg > Gears > GearsAgda
comparison src/parallel_execution/Todo @ 226:68c03e7057d9
get arg
author | mir3636 |
---|---|
date | Tue, 17 Jan 2017 18:11:39 +0900 |
parents | 578f283efb4a |
children | 47588c28f189 |
comparison
equal
deleted
inserted
replaced
225:f3e29df16d42 | 226:68c03e7057d9 |
---|