eiffelstudio-public - Revision 107750: /branches/Eiffel_22.12/Src/Delivery/tools/spec/unix
..
estudio-open-file
estudio-open-url
estudio-terminal
estudio-terminal-execution