Add option for smaller font in banners.
[wolnelektury.git] / .gitattributes
2020-09-23 Radek CzajkaRemove POT-Creation-Date headers from PO files.