summaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorMarius Peter <marius.peter@tutanota.com>2025-06-29 11:41:46 +0200
committerMarius Peter <marius.peter@tutanota.com>2025-06-29 11:41:46 +0200
commit29245f86932491771b7c28ad9ac03fbc869b8390 (patch)
treeac6fca0d4bf22367c1df626d40b4ef7937f4b693 /dune-project
parent9d587fb683218ca4346e3745520649e214e6d02b (diff)
Add margin all around footer element.
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions
Copyright 2019--2025 Marius PETER