Mercurial > hg > Gears > GearsAgda
comparison Dockerfile @ 246:421ea91dd76c
Change initContext type from __code to void
author | Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 25 Jan 2017 03:07:59 +0900 |
parents | c53f105a48c1 |
children | 7d664be4efa5 |
comparison
equal
deleted
inserted
replaced
245:308368406fe7 | 246:421ea91dd76c |
---|