Library next up previous contents
Next: Module gr_del_point Up: List of all GR Previous: Module gr_del_double

Module gr_del_empty_sets 

NAME
    gr_del_empty_sets - a GRToolbox module
DESCRIPTION
    Removes all empty sets.
SYNOPSIS:
    -[h o v noc nof now skip f m c e i s l]
    -help    For help on all options.
Special Options:

Jens Trapp
Wed Jun 12 20:34:13 MET DST 1996