phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix

Browse Source
pull/68/head
Jon Eugster 3 years ago
parent 759e9722f8
commit d837344797
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File

2
server/server.Dockerfile
Unescape Escape View File

@ -7,7 +7,7 @@ WORKDIR /
COPY GameServer ./GameServer COPY GameServer ./GameServer
COPY Main.lean ./Main COPY Main.lean ./Main
COPY lakefile.lean ./lakefile.lean COPY lakefile.lean ./lakefile.lean
COPY lake-manifest.lean ./lake-manifest.lean COPY lake-manifest.json ./lake-manifest.json
COPY lean-toolchain ./lean-toolchain COPY lean-toolchain ./lean-toolchain
COPY $GAME_DIR ./$GAME_DIR COPY $GAME_DIR ./$GAME_DIR
# TODO: make `adam` a build argument # TODO: make `adam` a build argument

Write Preview
Loading…
Cancel
Save