Filename: //proc/self/root///usr/share//vim//vim82/syntax/murphi.vim

./Ninja\.