Mercurial > hg > Gears > GearsAgda
diff Dockerfile @ 231:24da4f217447
fix
author | mir3636 |
---|---|
date | Sun, 22 Jan 2017 18:19:23 +0900 |
parents | c53f105a48c1 |
children | 7d664be4efa5 |
author | mir3636 |
---|---|
date | Sun, 22 Jan 2017 18:19:23 +0900 |
parents | c53f105a48c1 |
children | 7d664be4efa5 |