#---------------------------------------------------------------------------- # libedit-dev - list of all dir's of package 'libedit-dev' # # Creation : 2018-07-04 holbru # Last update: $Id$ #---------------------------------------------------------------------------- eis64_bin_libedit_dev:3_1_20210910 eis64_libedit_dev