diff options
| author | Eduardo Julian | 2022-10-02 04:01:58 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-10-02 04:01:58 -0400 |
| commit | ba150e8a206ffba1c5313c26fa88c6dcba6a08aa (patch) | |
| tree | 62845871a0617e51ffd9a7cb8dcc66a1eeb04dd1 /stdlib/source/library/lux.lux | |
| parent | d82a9b1166902ecca9a9a6eb3e1bb2195c73d9b7 (diff) | |
New format for extensions [part 3]
Diffstat (limited to 'stdlib/source/library/lux.lux')
| -rw-r--r-- | stdlib/source/library/lux.lux | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 0d3c3c837..19cc619a2 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -5886,4 +5886,5 @@ [Analysis] [Synthesis] [Generation] + [Declaration] ) |