lib: set default php version to php 7.2
[hcoop/domtool2.git] / configDefault / .gitignore
2014-04-09 Clinton EbadiRemove .cvsignore, add .gitignore