-
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
To find the state of this project's repository at the time of any of these versions, check out the tags.