Achilleas Pipinellis 1dc451a65d Compress all images under doc/		2018-12-18 11:09:04 +01:00
..
branch_filter_search_box.png	Compress all images under doc/	2018-12-18 11:09:04 +01:00
delete_merged_branches.png