David Barragán Merino e280a86069 Fix issue #4069: delete icon of wiki links doesn't work		2016-04-07 13:21:07 +02:00
..
main.coffee	hide wiki links when the wiki doesn't have links	2016-01-12 09:50:03 +01:00
nav.coffee	Fix issue #4069: delete icon of wiki links doesn't work	2016-04-07 13:21:07 +02:00