TenjintShell.history\_manager
=============================

.. currentmodule:: tenjint.plugins.interactive

.. autoattribute:: TenjintShell.history_manager