lib/Tools/findlogics
changeset 3007 e5efa177ee0c
parent 2968 8ba30b031f31
child 9788 df671fa2562a
equal deleted inserted replaced
3006:8a1eb4531fbb 3007:e5efa177ee0c
     1 #!/bin/bash -norc
     1 #!/bin/bash
     2 #
     2 #
     3 # $Id$
     3 # $Id$
     4 #
     4 #
     5 # DESCRIPTION: collect heap names from ISABELLE_PATH
     5 # DESCRIPTION: collect heap names from ISABELLE_PATH
     6 
     6