diff options
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-02-09 18:29:56 +0100 |
---|---|---|
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-02-09 18:29:56 +0100 |
commit | 424e16e8d27f8e7459089554f5036a07d7ea252e (patch) | |
tree | e145b4f178cee555af15e8beb9178b72a289bd3b /src/main/docker/Dockerfile.dev | |
parent | 51abccb96af42153c1e01a0914d27a6f93638ed5 (diff) |
Book Marx: Properly format bookmarks.
Change-Id: Idd6f2c4622d4b1a16c74b2d3af02e637625732fc
Diffstat (limited to 'src/main/docker/Dockerfile.dev')
0 files changed, 0 insertions, 0 deletions