aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorthomic2021-05-07 22:38:53 +0200
committerthomic2021-05-07 22:38:53 +0200
commit91dc3ff4da69b2d9eb9e979c7bcb98736cc37780 (patch)
tree708df3da24c73e98daab551572930928f906332a /.github/workflows
parent1032bb07e1040d6e0ffa35ed8cfe95ff9abe9609 (diff)
fix margin from top for lecture rooms
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions