| commit | 9785530a121450cdb356280d855cf4e4bad55c50 | [log] [tgz] |
|---|---|---|
| author | Jean-Louis Monteiro <jeanouii@gmail.com> | Tue Oct 01 11:23:39 2019 +0200 |
| committer | Jean-Louis Monteiro <jeanouii@gmail.com> | Tue Oct 01 11:23:39 2019 +0200 |
| tree | 51489fc5d886eb90ed57b99968aff83d43f892cc | |
| parent | 647e86d81ab969f0fafd5c9fa32431d041c1658c [diff] |
Add a settings file for jenkins