tree d9108a2d91caf12a50d4213fd826ef78e5d343f4
parent a063349a45509b1f520c0d96050f07c883c96256
author Mikaël Barbero <mikael.barbero@obeo.fr> 1407257497 +0200
committer Mikaël Barbero <mikael.barbero@obeo.fr> 1407257576 +0200

externalized use of globals