diff options
| author | Christian Clason <c.clason@uni-graz.at> | 2025-12-06 13:54:14 +0100 |
|---|---|---|
| committer | Christian Clason <ch.clason+github@icloud.com> | 2025-12-06 14:04:19 +0100 |
| commit | 41913a8d448f4f95a7819bfbc90ddf17b97cd84e (patch) | |
| tree | 22316733e9f632a60302414fe5dda39389a0b4a6 /queries | |