Revert "ping server every 10 minutes"
[redakcja.git] / redakcja / static / js / lib / codemirror / codemirror.js
2010-04-19 Łukasz RekuckiSimpler deployment.