GitbookIO/editor — pull request #133 by SamyPesse (2014-08-31 19:11:37+00:00)
Title: Plugins Manager

# :warning: not yet ready to be merged

Fix #131

- [x] Parse and show list of plugins
- [ ] Add plugin
- [ ] Update config for a plugin
- [ ] Remove a plugin