Mercurial > urweb
comparison src/elab_env.sig @ 1813:4c61bb7acb9b
Minor js optimizations.
* flatten() now uses accumulator and join.
* reuse regexps instead of allocating new each time
| author | Vladimir Shabanov <vshabanoff@gmail.com> |
|---|---|
| date | Thu, 30 Aug 2012 17:58:37 +0400 |
| parents | fca4a6d05ac1 |
| children | 100352dbae36 |
comparison
equal
deleted
inserted
replaced
| 1812:ea5f920ffa35 | 1813:4c61bb7acb9b |
|---|