#----------------------------------------------------------------------------
# libopts25 - list of all dir's of package 'libopts25'
#
# Creation   : 2017-08-05 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_libopts25:5_18_16
eis_libopts25