Rename File: texmanager.py

File Manager