Merge branch 'master' of ssh://git.onelab.eu/git/plewww
[plewww.git] / planetlab / common / logout.php
2009-02-19 Thierry Parmentelatsplit in two