diff options
| author | Hans Leiss <leiss@cis.uni-muenchen.de> | 2025-02-19 12:59:43 +0100 |
|---|---|---|
| committer | Hans Leiss <leiss@cis.uni-muenchen.de> | 2025-02-19 12:59:43 +0100 |
| commit | 5776b567a2aa78902bf5e4b40cf0bbb69bdbde9a (patch) | |
| tree | 104ae1a696209c7281927dc2e09589e547b5c210 /WebSetup.hs | |
| parent | 643617ccc4faafa659aa16fae2870ac68a8f394b (diff) | |
Reactivate the gf-shell command 'pt -transfer'
Diffstat (limited to 'WebSetup.hs')
0 files changed, 0 insertions, 0 deletions