search

Gandi-IDE / gandi-plugins

Gandi Plugins is a component library containing a suite of feature-enhancing plugins for Gandi-IDE.
GNU Lesser General Public License v3.0
10 stars 12 forks source link

feat: single plugin dev server #71

Closed sparrowhe closed 4 months ago

sparrowhe commented 4 months ago

Impl #70