diff options
Diffstat (limited to 'develop/development/cas.html')
| -rw-r--r-- | develop/development/cas.html | 2 |
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> |