Code Editor : versioning.py