Editor update: ui and functionality tweaks
[redakcja.git] / deployment / __init__.py