1. 9933d60 Moved definition of set_vector() to new header file by Graeme Russ ยท 16 years ago