jocelyn 28a6bb158a Removed a few obsolete usages, and benefit from new classes from EiffelStudio >= 7.2

2013-06-12 18:51:29 +02:00

..

wsf_openshift_service_launcher.e

Removed a few obsolete usages, and benefit from new classes from EiffelStudio >= 7.2

2013-06-12 18:51:29 +02:00