diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-02-10 20:05:06 +0100 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-02-10 20:05:06 +0100 |
| commit | ec9bdce7cc591af389be02ace98e32dee9f0f468 (patch) | |
| tree | ab970eae626d2ad6589042fb33fddcfd372cf784 /src/main/docker/Dockerfile.jvm | |
| parent | 9d9e07b4064c7cca4fc6d15dadf50e6f6a509639 (diff) | |
Navigation bar: Make navigation items clickable everywhere.
Change-Id: Ic69c8b03e41868b3d28d4463e991f58ea2b82411
Diffstat (limited to 'src/main/docker/Dockerfile.jvm')
0 files changed, 0 insertions, 0 deletions