Toby Zerner f591851cb2 Patch Mithril with a route shortcut attribute ...

Instead of:

<a href={app.route.user(user)} config={m.route}>

We can use:

<a route={app.route.user(user)}>

2015-09-22 17:09:38 +09:30

..

abbreviateNumber.js

…

anchorScroll.js

…

classList.js

…

computed.js

…

Drawer.js

…

evented.js

…

extract.js

…

extractText.js

…

formatNumber.js

…

humanTime.js

…

ItemList.js

…

mapRoutes.js

…

mixin.js

…

patchMithril.js

Patch Mithril with a route shortcut attribute

2015-09-22 17:09:38 +09:30

RequestError.js

…

ScrollListener.js

…

string.js

…

stringToColor.js

…

SubtreeRetainer.js

…