diff options
author | Eduardo Julian | 2022-07-08 18:04:30 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-08 18:04:30 -0400 |
commit | 14a5d4377431c7fc7a13b71cfbbaeb7baa116d29 (patch) | |
tree | b275a3c0e2d64950b35fa8d2c3bc922012e9b42c /stdlib/source/documentation | |
parent | 7976268575e7c6910dfba2d2733e8cc1883678e7 (diff) |
Moved "lux/extension" to "lux/meta/extension".
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r-- | stdlib/source/documentation/lux/meta/extension.lux (renamed from stdlib/source/documentation/lux/extension.lux) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/meta/extension.lux index 737d19387..737d19387 100644 --- a/stdlib/source/documentation/lux/extension.lux +++ b/stdlib/source/documentation/lux/meta/extension.lux |