diff options
author | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-08-19 15:48:03 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2016-08-19 15:48:03 +0000 |
commit | 56b0a136525f957644e09f10d1f8c30fb3b54104 (patch) | |
tree | 6908061f612b47ee2e2e96a68103db85deeeabfa /.gitignore | |
parent | 25bf48ee9230653723f0c7982de5365a3b633ed1 (diff) | |
parent | ec307077e542fd290701a871fedc7f58db37712c (diff) |
Merge "build: ISO refactor, use docker, enable cache"
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,2 +1,3 @@ build.log config.mk +ci/clean_cache.sh |