October gasoline prices settled 1.47 cents lower at 78.70 cents a gallon .
October heating oil ended down 0.41 cent to 70.74 cents a gallon .
an operating system that allows vendors to use the core source code and gives vendors the ability to customize the operating system.