Checkout
Dmitry Andrejev
committed
on 26 Jul 09
Fixes #0000147: Default "config.php-dist" file under Tools

INP-122