| commit | e820a4eb30d6916afa14bd597ead9a18548de11c | [log] [tgz] |
|---|---|---|
| author | Arjan Tijms <arjan.tijms@gmail.com> | Thu Apr 23 00:29:06 2020 +0200 |
| committer | GitHub <noreply@github.com> | Thu Apr 23 00:29:06 2020 +0200 |
| tree | a79143a930d2e8df739312dcd8edb7a6de2ad776 | |
| parent | 5e0c61c42ccd14b2371f0af46e63d7c078eba610 [diff] | |
| parent | aa68c811c44d42d962a3bb1afe1087707782ac78 [diff] |
Merge pull request #22965 from ivargrimstad/change-theme Replace Jakarta Jekyll theme with Eclipse Foundation Jekyll theme