diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2022-10-27 18:13:15 +0200 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2022-10-27 18:13:24 +0200 |
| commit | 48f840cff89490b2a8bf87d03345beb7113eef0b (patch) | |
| tree | a78d1bacae257123d4d21090dfed6b8f94253633 /doc/manual/src/language | |
| parent | b7e8a3bf4cbb2448db860f65ea13ef2c64b6883b (diff) | |
assign fricklerhandwerk for documentation releated PRs
Diffstat (limited to 'doc/manual/src/language')
0 files changed, 0 insertions, 0 deletions