config.php-dist.patch
remove-tt-rss-layer.patch
use-jshrink-instead-of-jsmin.patch
