eiffelstudio-public - Revision 107754: /branches/Eiffel_18.01/eweasel/compilation/precomp/dotnet