diff options
| author | Andre Noll <maan@tuebingen.mpg.de> | 2026-08-31 15:13:12 +0200 |
|---|---|---|
| committer | Andre Noll <maan@tuebingen.mpg.de> | 2026-09-11 00:18:13 +0200 |
| commit | 9cf37a57bf2dbe671ddcbb6e902bd2962ba47c51 (patch) | |
| tree | 0d3f66785f612efa558c202ec0a89c5a923fbb04 /gui.h | |
| parent | 3da7984331bdca53a03a300659c7bb448db8e2db (diff) | |
It's a hassle to maintain, the link is dead since the server moved from
gitweb to cgit, and nobody except the bots care anyway.
Diffstat (limited to 'gui.h')
0 files changed, 0 insertions, 0 deletions