mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-07 18:22:50 -06:00
translator: documents can now be saved in the cloud
some other small fixes
This commit is contained in:
@@ -216,7 +216,7 @@ function parse_oper(s) {
|
||||
|
||||
}
|
||||
|
||||
/* --- Print as plain text (normal GF source syntax) ------------------------- */
|
||||
/* --- Print as plain text (normal GF source syntax) ------------------------ */
|
||||
|
||||
function show_type(t) {
|
||||
var s="";
|
||||
|
||||
Reference in New Issue
Block a user