Rename File: tiny12.py

File Manager