Hakim El Hattab 7b707696b4 automatically hide the mouse pointer after 5s of inactivity (#1837)		2018-10-08 09:58:06 +02:00
..
reveal.js	automatically hide the mouse pointer after 5s of inactivity (#1837)	2018-10-08 09:58:06 +02:00