Mercurial > hg > Gears > GearsAgda
diff Dockerfile @ 291:87128b876c63
add test
author | ikkun |
---|---|
date | Thu, 09 Feb 2017 19:02:15 +0900 |
parents | c53f105a48c1 |
children | 7d664be4efa5 |
author | ikkun |
---|---|
date | Thu, 09 Feb 2017 19:02:15 +0900 |
parents | c53f105a48c1 |
children | 7d664be4efa5 |