Add Mantid:: prefix to please Eclipse
Merge branch 'feature/9390_convert_empty_to_tof' of github.com:mantidproject/mantid into feature/9390_convert_empty_to_tof
Re #9390 Corrected formatting issues.
Merge branch 'feature/9390_convert_empty_to_tof' of github.com:mantidproject/mantid into feature/9390_convert_empty_to_tof
Merge branch 'feature/9390_convert_empty_to_tof' into develop