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