TenjintShell.extension\_manager
===============================

.. currentmodule:: tenjint.plugins.interactive

.. autoattribute:: TenjintShell.extension_manager