lib: set default php version to php 7.2
[hcoop/domtool2.git] / configDefault / .gitignore
1 .cm
2 config.sig
3 configDefault.sml