add trick to change the windows manager
[www.git] / src / ppastats / docinfo.html
2016-06-14 Jean-Philippe Orsiniadded docinfo file