mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-07-15 18:12:46 -06:00
03f3baeba3
But printname judgements are ignored for now. Also fixed an UTF-8 encoding bug when parsing uploaded grammars in gf -server mode.