format datetime in tooltip headers
authorgregor herrmann <gregor@toastfreeware.priv.at>
Thu, 9 Aug 2018 13:53:42 +0000 (15:53 +0200)
committergregor herrmann <gregor@toastfreeware.priv.at>
Thu, 9 Aug 2018 13:53:42 +0000 (15:53 +0200)
commita663c3923a9448fd25c92f6fdbe0e10bfa480418
tree48c5d34b3418838f3afcf87f74b2f2a8d457564a
parent0219160aba3f417e1e836178578cf1e40c268b3b
format datetime in tooltip headers
web/static/seepark_web.js