-
Christer Ekholm authored
Also chmod 444 some more generated files. The reason to write-protect generated files is to make it harder to accidentally edit them by mistake.
b3c5288c
Also chmod 444 some more generated files. The reason to write-protect generated files is to make it harder to accidentally edit them by mistake.