diff options
| author | Eduardo Julián | 2021-07-14 14:44:53 -0400 |
|---|---|---|
| committer | GitHub | 2021-07-14 14:44:53 -0400 |
| commit | 89ca40f2f101b2b38187eab5cf905371cd47eb57 (patch) | |
| tree | f05fd1677a70988c6b39c07e52d031d86eff28f1 /lux-php/source | |
| parent | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff) | |
| parent | 8252bdb938a0284dd12e7365b4eb84b5357bacac (diff) | |
Merge pull request #58 from LuxLang/hierarchy_normalization
Hierarchy normalization
Diffstat (limited to 'lux-php/source')
| l--------- | lux-php/source/lux.lux | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lux-php/source/lux.lux b/lux-php/source/lux.lux new file mode 120000 index 000000000..73d05a22e --- /dev/null +++ b/lux-php/source/lux.lux @@ -0,0 +1 @@ +/home/eduardoejp/lux/stdlib/source/lux.lux
\ No newline at end of file |