Fixes #759: go back to history when closing diff
[redakcja.git] / redakcja / __init__.py