changeset 7:4ab6299b5805 default tip

rename app to jpf
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Tue, 17 Sep 2019 08:54:35 +0900
parents e49b52c098c7
children
files docker-compose.yml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/docker-compose.yml	Tue Sep 17 08:48:23 2019 +0900
+++ b/docker-compose.yml	Tue Sep 17 08:54:35 2019 +0900
@@ -1,7 +1,7 @@
 version: '3'
 
 services:
-  app:
+  jpf:
     image: jpf-docker
     build: .
     volumes: