add a ‘platforms’ link for logged users too
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 13 Nov 2013 08:43:15 +0000 (09:43 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 13 Nov 2013 08:43:15 +0000 (09:43 +0100)
commit0366836b568f4363aab395e9cbc90ce941911d97
tree319b60e888dc09945e5b4d81fa209b4e36fcb8f8
parentc5795ba59e99c3a9b7481f4965814eca3e9a950d
add a ‘platforms’ link for logged users too
ui/topmenu.py