Hi Hongwei, If you used a Dockerfile for this, could you link it on the dockerhub page?
Thanks, On Friday, January 19, 2018 at 12:00:51 PM UTC-5, gmhwxi wrote: > > FYI. > > Docker image for ATS2-0.3.9: > > http://www.ats-lang.org/Resources.html > https://hub.docker.com/r/dockerhwxi/ats2/ > > --Hongwei > > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/fc50a400-62e4-4a42-894c-181d1f6163a5%40googlegroups.com.