# The file should define the dhcp options and their types
# Each options is described on a line and consists of three fields
# <User_name_for_option>:<Option_number>:<Type_returned_by_server>
# The type can be one of Int8, Int16, Int32, Int8Arr, Int16Arr, Int32Arr
# IPAddr, IPAddrArr, IPAddrPair, IPAddrPairArr, String
# Example : SGI_Propel_Server:101:IPAddr
