add missing deps - topmenu should most likely be a plugin
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 19 Dec 2012 18:28:07 +0000 (19:28 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 19 Dec 2012 18:28:07 +0000 (19:28 +0100)
commit4d4e4badc9a820ec8c129d0e3538df29bcc1cbbb
treef2240c7f3013073d31a398feb151e63e0d05149c
parent0bfd116596c1dc91f739b53cf3f469c94e8994a7
add missing deps - topmenu should most likely be a plugin
templates/widget-topmenu.html