diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/profile.lux | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 2d9d41b4c..e887160b5 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -164,6 +164,9 @@ Name "") +(type .public Configuration + (property.List Text)) + (type .public Profile (Record [#parents (List Name) @@ -178,7 +181,7 @@ #program (Maybe Symbol) #test (Maybe Symbol) #deploy_repositories (Dictionary Text Address) - #configuration (property.List Text) + #configuration Configuration #java Runtime #js Runtime #python Runtime |