editor update: ask user before exit
[redakcja.git] / deployment / __init__.py