Prise en charge des permissions dans l'affichage / masquage de la barre d'outils.
[Portfolio.git] / Extensions / __init__.py
2010-04-27 Benoît PinVersion initiale.