diff options
author | 2017-08-21 15:12:59 +0200 | |
---|---|---|
committer | 2018-10-15 18:22:47 +0200 | |
commit | b91e28ac6c48efb5894c69c989f68331cc2433f2 (patch) | |
tree | 0fafb10f1a08a6d44325dbe0920be0b84c747850 /.gitignore | |
parent | 353bc9b75826bd9a11870a10b9dd51c0b5e4f303 (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