Arduino Library downloader

eried:
That repository thing will be very nice, you can even add a link into your application.

i am not sure if i have understood you correctly. (my english is not perfect)
But my application already uses my repository from a exported xml file.
Pauls repository is in the list too.