Mercurial > hg > Gears > GearsAgda
comparison Dockerfile @ 141:4f6a660c14a1 stack-interface
stack interface worked
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 09 Nov 2016 15:43:22 +0900 |
parents | c53f105a48c1 |
children | 7d664be4efa5 |
comparison
equal
deleted
inserted
replaced
140:f31b4e4bf4bb | 141:4f6a660c14a1 |
---|