summary refs log tree commit diff
path: root/develop/development/cas.html
diff options
context:
space:
mode:
Diffstat (limited to 'develop/development/cas.html')
-rw-r--r--develop/development/cas.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/develop/development/cas.html b/develop/development/cas.html

index e612d484c0..09ffd57cf1 100644 --- a/develop/development/cas.html +++ b/develop/development/cas.html
@@ -263,4 +263,4 @@ and that the CAS server is on port 8000, both on localhost.</p> <script type="text/javascript" src="../docs/website_files/version-picker.js"></script> <script type="text/javascript" src="../docs/website_files/version.js"></script> </body> -</html> \ No newline at end of file +</html>