#---------------------------------------------------------------------------- # isl-dev - list of all dir's of package 'isl-dev' # # Creation : 2017-12-29 holbru # Last update: $Id$ #---------------------------------------------------------------------------- eis64_bin_isl_dev:0_27 eis64_isl_dev