2 commits

Author	SHA1	Message	Date
bevilj	857011d3f5	fix tags and search variables ... git-svn-id: svn+ssh://atelier.inf.usi.ch/home/bevilj/group-1@234 a672b425-5310-4d7a-af5c-997e18724b81	2018-11-16 12:47:48 +00:00
bevilj	2bc4e0401b	about: add info about navigation and add topics navigation keys ... git-svn-id: svn+ssh://atelier.inf.usi.ch/home/bevilj/group-1@222 a672b425-5310-4d7a-af5c-997e18724b81	2018-11-15 21:07:46 +00:00