diff options
| author | Maria Matejka <mq@ucw.cz> | 2022-05-30 16:47:30 +0200 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2022-05-30 16:47:30 +0200 |
| commit | d7bec897ab772cdccce10b296d4efd48d9181297 (patch) | |
| tree | e71df451de987008921522a2a93b39c505484171 /tools/make-obs | |
| parent | e16e1e4138cf10fd8f2508fa0e41e5ec98de6d53 (diff) | |
| parent | ef4313e1667a8745c8d8813ac78342ec7c035895 (diff) | |
Merge commit 'ef4313e1667a8745c8d8813ac78342ec7c035895' into haugesund
Diffstat (limited to 'tools/make-obs')
0 files changed, 0 insertions, 0 deletions