Zanz2 36cca3d6aa Implemented popover tooltips in all specified places, and fixed a bug where old popovers were open on page switch with ajax		2018-08-21 11:11:25 +02:00
..
demo_files
images
javascripts	Implemented popover tooltips in all specified places, and fixed a bug where old popovers were open on page switch with ajax	2018-08-21 11:11:25 +02:00
stylesheets	Merge pull request #1224 from ZmagoD/zd_SCI_2429	2018-07-13 14:55:24 +02:00