The feature to add addtional jvmargs with extra.txt is not documentated. https://github.com/threerings/getdown/issues/237
The feature to add addtional jvmargs with extra.txt is not documentated.
threerings/getdown#237