diff options
Diffstat (limited to 'docs/teaching/demos/oopsla2002-script.html')
-rw-r--r-- | docs/teaching/demos/oopsla2002-script.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/teaching/demos/oopsla2002-script.html b/docs/teaching/demos/oopsla2002-script.html index 310505196..d0017db72 100644 --- a/docs/teaching/demos/oopsla2002-script.html +++ b/docs/teaching/demos/oopsla2002-script.html @@ -1,6 +1,6 @@ <html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" -xmlns="http://www.w3.org/TR/REC-html40"> +xmlns="https://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=windows-1252"> |