-
BERJON Matthieu authored
I added tooltips on the menu on the right to disambiguous any issue the user could meet when he sees them. In order to do that, I had to add a missing javascript library used by bootstrap to perform this operation. Signed-off-by: Matthieu Berjon <matthieu.berjon@inria.fr>
30fd6268