DEVEL文件打开方式？

　

DEVEL文件扩展名信息 一种Developper文件。