File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 6161
6262< script type ="text/javascript " src ="./OnlinePythonTutor/v3/js/pytutor.js "> </ script >
6363< script type ="text/javascript " src ="./OnlinePythonTutor/v3/js/hooks.js "> </ script >
64- < script type ="text/javascript " src ="pytutor-customizations.js?1 "> </ script >
64+ < script type ="text/javascript " src ="pytutor-customizations.js?2 "> </ script >
6565< link rel ="stylesheet " href ="./OnlinePythonTutor/v3/css/pytutor.css "/>
6666< link rel ="stylesheet " href ="pytutor-customizations.css "/>
6767
7474< script type ="text/javascript " src ="./CodeMirror3/addon/edit/matchbrackets.js "> </ script >
7575
7676< script type ="text/javascript " src ="./config.js.php "> </ script > <!-- used to be opt-frontend.js -->
77- < script type ="text/javascript " src ="./jv-frontend.js?6 "> </ script > <!-- used to be opt-frontend.js -->
77+ < script type ="text/javascript " src ="./jv-frontend.js?7 "> </ script > <!-- used to be opt-frontend.js -->
7878< link rel ="stylesheet " href ="./OnlinePythonTutor/v3/css/opt-frontend.css "/>
7979
8080</ head >
You can’t perform that action at this time.
0 commit comments