Fri, 31 Jan 2020 17:24:45 +0100 | Arthur Lutz | [doc/dev/CI] initial information about jenkins | changeset | files |
Fri, 31 Jan 2020 17:24:31 +0100 | Arthur Lutz | [doc/index] fix link to "how to contribute" and add link to dev dashboard | changeset | files |