#----------------------------------------------------------------------------
# recordproto-dev - list of all dir's of package 'recordproto-dev'
#
# Creation   : 2018-05-08 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
eis64_bin_recordproto_dev:1_14_2
eis64_recordproto_dev