eiffelstudio-public - Revision 107750: /branches/Eiffel_15.01/Src/web/support/api/launcher/default
..
application_launcher.e
application_launcher_i.e