summaryrefslogtreecommitdiff
path: root/src/runtime/java/org/grammaticalframework
diff options
context:
space:
mode:
authorHans Leiss <leiss@cis.uni-muenchen.de>2025-02-19 12:59:43 +0100
committerHans Leiss <leiss@cis.uni-muenchen.de>2025-02-19 12:59:43 +0100
commit5776b567a2aa78902bf5e4b40cf0bbb69bdbde9a (patch)
tree104ae1a696209c7281927dc2e09589e547b5c210 /src/runtime/java/org/grammaticalframework
parent643617ccc4faafa659aa16fae2870ac68a8f394b (diff)
Reactivate the gf-shell command 'pt -transfer'
Diffstat (limited to 'src/runtime/java/org/grammaticalframework')
0 files changed, 0 insertions, 0 deletions