diff options
| author | Jonas Kohl | 2024-11-08 09:35:25 +0100 |
|---|---|---|
| committer | Jonas Kohl | 2024-11-08 09:35:25 +0100 |
| commit | 5e82199ed199ee0d520f125f8f1b092399b890c3 (patch) | |
| tree | 2877b317f3811ccdf1b3e4526313379924536f87 /public/index.php | |
| parent | 0aa6ceacde931b34738ee61953c1cebc874196de (diff) | |
Move third-party frontend libraries to dist so they don't get included by Linguist
Diffstat (limited to 'public/index.php')
| -rw-r--r-- | public/index.php | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/public/index.php b/public/index.php index ac41acc..eab78af 100644 --- a/public/index.php +++ b/public/index.php @@ -134,12 +134,12 @@ $csrf = csrf_token(); <meta charset="UTF-8"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <title>Java</title> - <link rel="stylesheet" href="codemirror.css"> - <link rel="stylesheet" href="eclipse.css"> + <link rel="stylesheet" href="dist/codemirror.css"> + <link rel="stylesheet" href="dist/eclipse.css"> <link rel="stylesheet" href="site.css"> - <script src="jquery-1.12.4.min.js"></script> - <script src="codemirror.js"></script> - <script src="clike.js"></script> + <script src="dist/jquery-1.12.4.min.js"></script> + <script src="dist/codemirror.js"></script> + <script src="dist/clike.js"></script> <script src="site.js"></script> </head> <body> |