https://dev.eiffel.com/index.php?action=history&feed=atom&title=Category%3AHidden_Tools Category:Hidden Tools - Revision history 2026-05-16T03:10:06Z Revision history for this page on the wiki MediaWiki 1.24.1 https://dev.eiffel.com/index.php?title=Category:Hidden_Tools&diff=11858&oldid=prev Ted: New page: Category:EiffelStudio Hidden tools appear in the Debug menu. Ctrl + Alt + D to activate the menu. 2009-01-05T11:11:35Z <p>New page: <a href="/Category:EiffelStudio" title="Category:EiffelStudio">Category:EiffelStudio</a> Hidden tools appear in the Debug menu. Ctrl + Alt + D to activate the menu.</p> <p><b>New page</b></p><div>[[Category:EiffelStudio]]<br /> Hidden tools appear in the Debug menu. Ctrl + Alt + D to activate the menu.</div> Ted