file. It should be used in place of this GIF file when not inferior. File:Guerra dos Farroupilhas - Bandeira.gif → File:Flag of Piratini Republic.svg For...
