| commit | dc85177de075fe52633f46d71b4b259bf4759e08 | [log] [tgz] |
|---|---|---|
| author | Juan Pablo Santos RodrÃguez <juanpablo.santos@gmail.com> | Tue Oct 15 00:05:36 2019 +0200 |
| committer | Juan Pablo Santos RodrÃguez <juanpablo.santos@gmail.com> | Tue Oct 15 00:05:36 2019 +0200 |
| tree | f0db73441e5a3c168b6737317b637502c310b4ee | |
| parent | ba420101d28d2c36bbf9309b7221a09505090e88 [diff] |
added changelog page header; will be merged with actual changelog when building the website through the main Jenkinsfile