| commit | 3882ffe8976718cddcc43276384d27f3144c6705 | [log] [tgz] |
|---|---|---|
| author | Antonio García-Domínguez <agarcdomi@gmail.com> | Mon Feb 15 10:19:56 2021 +0000 |
| committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Mon Feb 15 10:19:56 2021 +0000 |
| tree | e0c2274f0def6e97cf17b224cecb959af76415e6 | |
| parent | d0eda7d8b0a1a77498eb8b339930afc83df72429 [diff] |
Rename interim-jenkins to interim