mirrors.texi:
Update costarica.txt, costarica.gif, costarica.eps: new file
Showing
Docs/Flags/costarica.eps
0 → 100755
Docs/Flags/costarica.gif
0 → 100755
200 Bytes
Docs/Flags/costarica.txt
0 → 100644
Update costarica.txt, costarica.gif, costarica.eps: new file