What day of the week was October 15, 1280?

The day of the week October 15th, 1280 fell on was a Tuesday.