*.awk	text eol=lf
*.dfa	text eol=lf
