diff options
| author | Marco Nenciarini <marco.nenciarini@2ndquadrant.it> | 2014-02-14 16:08:40 +0100 |
|---|---|---|
| committer | Marco Nenciarini <marco.nenciarini@2ndquadrant.it> | 2014-02-14 16:40:45 +0100 |
| commit | 47c5d323099b341a785b44f9d05ff0b535ce12e6 (patch) | |
| tree | 7a4d61b1ac0aeee409cc480e6ce35d7a9fc731ae /Modulefile | |
| parent | 9de938880129bc8d8985debdf09336d63787f8ae (diff) | |
Allow to deploy a plugin without registering it
Diffstat (limited to 'Modulefile')
0 files changed, 0 insertions, 0 deletions