diff options
| author | Eduardo Julian | 2022-07-06 12:05:43 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-06 12:05:43 -0400 |
| commit | 0c32c7f03ad1f8f0db54b623dc407713bbf8cacd (patch) | |
| tree | 59736e9e5f9f8cc94c0b46872f9e78575e45d8da /stdlib/source/documentation | |
| parent | 9a9b2493a8eda60f08809b4cb1e5bc49c5c3600c (diff) | |
Moved compiler machinery under lux/meta.
Diffstat (limited to 'stdlib/source/documentation')
| -rw-r--r-- | stdlib/source/documentation/lux/extension.lux | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux index 1ca48bc21..702d82bd3 100644 --- a/stdlib/source/documentation/lux/extension.lux +++ b/stdlib/source/documentation/lux/extension.lux @@ -12,8 +12,7 @@ ["[0]" code ["<[1]>" \\parser]] [macro - ["[0]" template]]] - [tool + ["[0]" template]] [compiler ["[0]" phase] [language |