Next:
opt_database optdb_file _'137
Up:
Espace/Set/file
Previous:
header hdr_file _'137
database db_file _'137 _'137
Set the name of the database file.
Eddy Offerman
Fri Mar 29 10:56:36 EST 1996
