Skip to main content

General developer forum

Should githash.php be listed in .gitignore?