summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorMaria Matejka <mq@ucw.cz>2022-05-30 15:15:19 +0200
committerMaria Matejka <mq@ucw.cz>2022-05-30 15:15:19 +0200
commit921344c3ba5a0e30f04511d2039dff79b6f82dd9 (patch)
tree64c496aa9c26c38cd0f5219c79e3d2863997d2c8 /tools
parentb4336b0880dee2a039ca55321f4344444512f97d (diff)
parent3a6eda995ecfcebff3130d86ee3baeab12a41335 (diff)
Merge commit '3a6eda995ecfcebff3130d86ee3baeab12a41335' into haugesund
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions