Delete Dev_linux.md