indonesia.eps	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/indonesia.eps
yugoslavia.eps	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/yugoslavia.eps
yugoslavia.gif	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/yugoslavia.gif
yugoslavia.txt	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/yugoslavia.txt
indonesia.gif	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/indonesia.gif
indonesia.txt	BitKeeper file /home/mwagner/work/bk/mysql/Docs/Flags/indonesia.txt


Docs/manual.texi:
  More mirror list maintenance