diff options
author | 2017-08-21 15:12:59 +0200 | |
---|---|---|
committer | 2017-08-21 15:12:59 +0200 | |
commit | 3a90fb6f2c4518ebab484cde90919c19456dc04c (patch) | |
tree | c00d2df74194a47d526fde623130d4e1767376c5 /.gitignore | |
parent | 350c5b97459226f7e031c73edb3a79a2d99cb250 (diff) |
Don't output compiled lua file when checked.
Change-Id: I062bbb8c1342f189406ac1295baa5fb6e7c5eb1a
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions