Fixes #759: go back to history when closing diff
[redakcja.git] / redakcja / static / js / lib / codemirror / codemirror.js
2010-08-05 Lukasz AnwajlerMerge branch 'master' of git@github.com:fnp/redakcja
2010-08-03 Radek CzajkaMerge branch 'production'
2010-08-03 Radek Czajkapreliminary search support
2010-04-19 Łukasz RekuckiSimpler deployment.