Skip to content
Snippets Groups Projects
Select Git revision
  • main default
1 result

menupuller.js

Blame
  • menupuller.js 108 B
    javascript:
    var pullCourseMenuButton = document.getElementById("menuPuller");
    pullCourseMenuButton.click();