eiffelstudio-public - Revision 107838: /branches/eth/auto-fix/Src/library/base/ise/runtime/debug/dotnet
..
rt_debugger.e
rt_extension.e