#!/bin/sh

# This shell is generated by ExplorGenerShell 
if [ -d "$EXPLOR_AREA" ]; then
rm -rf $EXPLOR_AREA/bin 
rm -rf $EXPLOR_AREA/Input 
rm -rf $EXPLOR_AREA/Site
rm -rf $EXPLOR_AREA/Data
rm -rf $EXPLOR_AREA/Make
fi
