correct spelling of December abbreviation in history 2
authorKen Dreyer <ktdreyer@ktdreyer.com>
Mon, 2 Dec 2013 15:23:49 +0000 (08:23 -0700)
committerKen Dreyer <ktdreyer@ktdreyer.com>
Mon, 2 Dec 2013 15:23:49 +0000 (08:23 -0700)
commit93397f1409c76064e5a6916eefe32ec05f4d37c2
treed229722c4e8b4a190370ae76c5c422a2cfa407a2
parentcdc46619c16519caec6a4d986c2e36f04bbcf180
correct spelling of December abbreviation in history

The month of December was accidentally abbreviated "Dev". Correct the
abbreviation to be "Dec".

Thanks to Jonathan Wakely for pointing this out on the Gitorious mailing
list.
js/src/components/tree-history.js