next up previous contents
Next: database db_file _'137 Up: Espace/Set/file Previous: Espace/Set/file

header hdr_file _'137 _'137

Set the name of the header file.


Eddy Offerman
Fri Mar 29 10:56:36 EST 1996