eiffel-org - Revision 2482: /trunk/documentation/24.05/eiffelstudio/eiffelstudio-reference/browsing-tools/favorites-tool
..
favorites-menu.wiki
favorites-tree.wiki
index.wiki
organize-favorites-dialog/