FIX correction concernant l'affichage de "admin" dans le menu en fonction du statut...
[euphorik.git] / sessions /
drwxr-xr-x   ..
-rwxr-xr-x 371 doc.session
-rwxr-xr-x 647 erl.session
-rwxr-xr-x 809 js.session