Merge pull request #11 from dubo-dubon-duponey/fix-9

Fix #9
This commit is contained in:
Andrea Luzzardi 2021-01-11 17:54:36 -08:00 committed by GitHub
commit 1d2d3dbed2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View File

@ -114,8 +114,8 @@ package dagger
#Copy: { #Copy: {
do: "copy" do: "copy"
from: #Script | #Component from: #Script | #Component
src?: string | *"/" src: string | *"/"
dest?: string | *"/" dest: string | *"/"
} }
#TestScript: #Script & [ #TestScript: #Script & [

View File

@ -109,8 +109,8 @@ package dagger
#Copy: { #Copy: {
do: "copy" do: "copy"
from: #Script | #Component from: #Script | #Component
src?: string | *"/" src: string | *"/"
dest?: string | *"/" dest: string | *"/"
} }
#TestScript: #Script & [ #TestScript: #Script & [