#----------------------------------------------------------------------------
# recode-dev - list of all dir's of package 'recode-dev'
#
# Creation   : 2016-05-22 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_recode_dev:3_7_14
eis_recode_dev