diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-02-09 10:39:45 +0100 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-02-09 10:39:45 +0100 |
| commit | 310e71fd6e88cb41ddd4d448cee96a72554db177 (patch) | |
| tree | b7fc361b20c221d440f3e1dbaa4d36b2f7bbea80 /src/main/docker | |
| parent | 521718d5ef2d7a18497bc525fb15d245f6827180 (diff) | |
Web: Make navigation bar formatting dynamic.
Change-Id: I65068a6837c325cd4d649696c709d2b6d2b4b3ef
Diffstat (limited to 'src/main/docker')
0 files changed, 0 insertions, 0 deletions