diff options
author | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2021-02-19 20:51:35 +0100 |
---|---|---|
committer | Christoph Hertzberg <chtz@informatik.uni-bremen.de> | 2021-02-19 20:51:35 +0100 |
commit | ce4af0b38f5b71c327689f8bbb37e3a0da3b8927 (patch) | |
tree | 7acde68b6afa815d78ec7fe8dc1a71efcfb6fd12 /doc/snippets | |
parent | a7749c09bcf053ab781186f4da741eff93f201ca (diff) |
Missing change regarding #1910
Diffstat (limited to 'doc/snippets')
0 files changed, 0 insertions, 0 deletions