Fixes #790: superfluous padding in xml editor
[redakcja.git] / redakcja / static / js / lib / codemirror / undo.js
2010-04-19 Łukasz RekuckiSimpler deployment.