removed info about ppa which are no more maintained
[www.git] / docinfo-footer.html
2018-09-28 Jean-Philippe Orsiniadded footer with rss link