Re-enable options -nub and -funs to shell command 'put_tree'#199
Open
hleiss wants to merge 1 commit intoGrammaticalFramework:masterfrom
Open
Re-enable options -nub and -funs to shell command 'put_tree'#199hleiss wants to merge 1 commit intoGrammaticalFramework:masterfrom
hleiss wants to merge 1 commit intoGrammaticalFramework:masterfrom
