diff options
| author | ThibG <thib@sitedethib.com> | 2020-08-31 18:11:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-31 18:11:37 +0200 |
| commit | 7febf1929633bc5af74026d37d338b0edf420523 (patch) | |
| tree | f4e67d92b8ac829cf793b899186ea592869c4859 /Dockerfile | |
| parent | b1bb1906beaabe27efcba3e23e57b771d225f3a6 (diff) | |
Add back “Home” link to the “Getting Started” column when the “Home” column isn't mounted (#14707)
* Add back "Home" link to "Getting started" when Home column isn't mounted * Fix keys in getting_started It should not matter much in practice as the list of items will only change extremely rarely, but having a `key` that corresponds to the actual item makes much more sense than having it be the index of the item within the list.
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions