/save-tabs

Plugin to save the state of the PDDL files when saving the plugin setup.

Primary LanguageJavaScript

Plugin to save the state of the PDDL files when saving the plugin setup.