Girocco/Config.pm: update for dev.repo.or.cz support
[girocco.git] / docs / .gitignore
blob2d19fc766d98a08d9d1437896bfb008a7b15f340
1 *.html