#---------------------------------------------------------------------------- # openjade-dev - list of all dir's of package 'openjade-dev' # # Creation : 2018-03-14 holbru # Last update: $Id$ #---------------------------------------------------------------------------- eis64_bin_openjade_dev:1_3_2 eis64_openjade_dev