#----------------------------------------------------------------------------
# dev86 - list of all dir's of package 'dev86'
#
# Creation   : 2018-04-22 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_dev86:0_16_21
eis_dev86