Fixes #759: go back to history when closing diff
[redakcja.git] / redakcja / static / js / lib / codemirror / select.js
2010-04-19 Łukasz RekuckiSimpler deployment.