Added "delete" button to annotations. Fixes #554.
[redakcja.git] / redakcja / static / js / lib / codemirror / util.js
2010-04-19 Łukasz RekuckiSimpler deployment.