#----------------------------------------------------------------------------
# mozjs52-dev - list of all dir's of package 'mozjs52-dev'
#
# Creation   : 2019-02-04 holbru
# Last update: $Id$
#----------------------------------------------------------------------------
bin_mozjs52_dev:52_6_0
eis_mozjs52_dev