diff options
| author | Maria Matejka <mq@ucw.cz> | 2022-03-09 11:51:00 +0100 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2022-03-09 11:51:00 +0100 |
| commit | 9b6db9f9b8e561d215e1df01169b15a9dfaba1b9 (patch) | |
| tree | c4b084e7efcad6bb448341a0364a9915b07f0640 /doc/prog-head.sgml | |
| parent | 19e727a248d15e9f8871986ac286cf74b3d86e61 (diff) | |
| parent | 5ddf98f6bdfec213d64957a580e0425c3ed4d660 (diff) | |
Merge remote-tracking branch 'origin/master' into haugesund
Diffstat (limited to 'doc/prog-head.sgml')
0 files changed, 0 insertions, 0 deletions