Mercurial > hg > Gears > GearsAgda
diff doc/Cerium_on_Gears.mm @ 211:962fbfe777bb
temporarily change to createWorker1
author | mir3636 |
---|---|
date | Mon, 02 Jan 2017 01:01:37 +0900 |
parents | 2a40d697bf4e |
children |
author | mir3636 |
---|---|
date | Mon, 02 Jan 2017 01:01:37 +0900 |
parents | 2a40d697bf4e |
children |