Nils 0d54346cbd Merge pull request #587 from WebSpider/dev-hover_filenames ... Changing filename in Show overview: Complete filename is on hover only, saving valuable space.		2014-06-01 23:47:34 +02:00
..
default	Merge pull request #587 from WebSpider/dev-hover_filenames	2014-06-01 23:47:34 +02:00