Delete mystery file
Delete mystery file

Probably related to the distrib script


Former-commit-id: 791540f693f7751d40a70eac7b3292b8ae840b60
darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide