aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEduardo Julian2019-04-24 21:28:56 -0400
committerEduardo Julian2019-04-24 21:28:56 -0400
commitf2c0473640e8029f27797f6ecf21662dddb0685b (patch)
treed1f881b7c8416ecfa49e8752420ad23da7f9b578 /.gitignore
parent448eb9d9ae01569459f72ad4de740f960b02bfad (diff)
WIP: PHP compiler.
Diffstat (limited to '')
-rw-r--r--.gitignore5
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
+