| commit | 0530b5bf86438eb98e4a6931f033800b4adabf56 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davide.pesavento@lip6.fr> | Mon Nov 07 03:23:58 2016 +0100 |
| committer | Davide Pesavento <davide.pesavento@lip6.fr> | Mon Nov 07 21:36:22 2016 +0100 |
| tree | 86f30f8311bdb861628c2554366cd9223e561502 | |
| parent | ed1e99daa08642822cb722136294724ec5a9cf26 [diff] [blame] |
ci: speed up code-coverage jobs Plus some documentation updates Change-Id: I6fd2b04e22bca6c3d6e36e78d1995220e261206b Refs: #3809
diff --git a/.gitignore b/.gitignore index 10263e6..677f5ef 100644 --- a/.gitignore +++ b/.gitignore
@@ -1,7 +1,7 @@ # Emacs temp files *~ -# Mac OSX +# macOS stuff .DS_* # waf build system @@ -12,6 +12,7 @@ # Compiled python code *.pyc +*.pyo # Other VERSION