diff options
author | Eduardo Julian | 2022-11-15 20:07:38 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-11-15 20:07:38 -0400 |
commit | 91a1f21f3c75750217d272554bc8a341f075f82d (patch) | |
tree | 5e745cea303450fa61f931d4a4be6b6fa1e279a2 /stdlib/source/library/lux.lux | |
parent | d656ef2143151a1d78768df4562e5275dff67b9d (diff) |
Now documenting dependers and dependees.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 9250c2cc6..710521e74 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -5834,7 +5834,7 @@ [Analysis] [Synthesis] - [Generation] + [Translation] [Declaration] ) |