diff options
author | Eduardo Julian | 2022-07-08 18:42:43 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-08 18:42:43 -0400 |
commit | 6a052144968df9b441df53f6aa08cbb515ff2654 (patch) | |
tree | 7276eb5450baf14cfdc69071fd082168741b8291 /stdlib/source/specification/aedifex/repository.lux | |
parent | 14a5d4377431c7fc7a13b71cfbbaeb7baa116d29 (diff) |
Folded "default" documentation into regular definition documentation.
Diffstat (limited to 'stdlib/source/specification/aedifex/repository.lux')
0 files changed, 0 insertions, 0 deletions