removed info about ppa which are no more maintained
[www.git] / src / tricks / docinfo-footer.html
2016-12-22 Jean-Philippe Orsiniadded footer