diff options
| author | Dennis Benz <dennis.benz@uni-osnabrueck.de> | 2023-09-28 13:20:17 +0200 |
|---|---|---|
| committer | Dennis Benz <dennis.benz@uni-osnabrueck.de> | 2023-09-28 13:31:54 +0200 |
| commit | 3872927485cd6a60bac61a6e6700c17a0f28e78f (patch) | |
| tree | 4a1b8230511e8a1840c4abede77a51503e7d0495 /lib/include | |
| parent | 2bbcfb7bbda30fc0588c1093c9eef36f27d22a60 (diff) | |
Additional banner for mobile view, ref #3231tic-3231
Diffstat (limited to 'lib/include')
0 files changed, 0 insertions, 0 deletions