diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2013-08-11 12:18:38 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2013-08-11 12:18:38 +0200 |
| commit | 95905cbe48caa3de7d6d809a8f0d0cffc9df4720 (patch) | |
| tree | f90102632f52fa0e1500fead6bd085ad62eb2756 /lib | |
| parent | 2e308c3608bea50e07aacf51b232eaedbda6eb20 (diff) | |
| download | rpg-95905cbe48caa3de7d6d809a8f0d0cffc9df4720.tar.gz rpg-95905cbe48caa3de7d6d809a8f0d0cffc9df4720.tar.bz2 | |
make extension manager the default plugin
This moves the old plugin manager down to the "other" plugins. It should
probably be removed when when we decide the new one is good to go.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions