build/replace.properties

[Daan Hoogland]

Anyone knows any reason we have this file called build/replace.properties
(still)? It is reported to be in the .gitignore file, yet it has a history
in git.

-- 
Daan