tree 2056d48ea26f371cff8605b7097b086480258474
parent 115952474aa241d28625749275ff0043f2b92f96
author Avery Pennarun <apenwarr@gmail.com> 1366083875 -0400
committer Avery Pennarun <apenwarr@gmail.com> 1366084023 -0400

Not all javascript engines have Date.strftime().

So implement our own simple version of it.