fixed the missing copy of the header file

Maarten
This commit is contained in:
2003-01-15 14:51:23 +00:00
parent 227a8b7d16
commit 3ef0209f80