Jinhao 7e310f33f7 remove deprecated code

2019-07-01 07:56:29 +08:00

..

platform_spec.hpp

remove deprecated code

2019-07-01 07:56:29 +08:00