diff options
| author | Eduardo Julian | 2019-04-24 21:28:56 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-04-24 21:28:56 -0400 |
| commit | f2c0473640e8029f27797f6ecf21662dddb0685b (patch) | |
| tree | d1f881b7c8416ecfa49e8752420ad23da7f9b578 /.gitignore | |
| parent | 448eb9d9ae01569459f72ad4de740f960b02bfad (diff) | |
WIP: PHP compiler.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 8e75a4c6f..e83967470 100644 --- a/.gitignore +++ b/.gitignore @@ -40,3 +40,8 @@ pom.xml.asc /lux-ruby/source/lux /lux-ruby/source/program +/lux-php/target +/lux-php/source/lux.lux +/lux-php/source/lux +/lux-php/source/program + |