diff options
author | Eduardo Julian | 2022-08-14 21:02:22 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-08-14 21:02:22 -0400 |
commit | 0f9bc13a34b729d9ae9db31276feb2a66785d06b (patch) | |
tree | 25f8ec214bfe56f7dc7d8be637b06d1ab6a425f6 /stdlib/source/program/aedifex/profile.lux | |
parent | 24e4ccef052816f17ccfc55f2e515a07cc9c2067 (diff) |
Documentation changes for v0.7.0
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/profile.lux | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index e887160b5..674865cdd 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -107,8 +107,7 @@ (type .public Info (Record - [#name (Maybe Text) - #url (Maybe URL) + [#url (Maybe URL) #scm (Maybe SCM) #description (Maybe Text) #licenses (List License) @@ -122,7 +121,6 @@ (maybe.equivalence text.equivalence) (maybe.equivalence text.equivalence) (maybe.equivalence text.equivalence) - (maybe.equivalence text.equivalence) (list.equivalence ..license_equivalence) (maybe.equivalence ..organization_equivalence) (list.equivalence ..developer_equivalence) @@ -130,8 +128,7 @@ (def .public default_info Info - [#name {.#None} - #url {.#None} + [#url {.#None} #scm {.#None} #description {.#None} #licenses (list) |