summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--public/dist/clike.js (renamed from public/clike.js)0
-rw-r--r--public/dist/codemirror.css (renamed from public/codemirror.css)0
-rw-r--r--public/dist/codemirror.js (renamed from public/codemirror.js)0
-rw-r--r--public/dist/eclipse.css (renamed from public/eclipse.css)0
-rw-r--r--public/dist/jquery-1.12.4.min.js (renamed from public/jquery-1.12.4.min.js)0
-rw-r--r--public/index.php10
6 files changed, 5 insertions, 5 deletions
diff --git a/public/clike.js b/public/dist/clike.js
index e9f441f..e9f441f 100644
--- a/public/clike.js
+++ b/public/dist/clike.js
diff --git a/public/codemirror.css b/public/dist/codemirror.css
index f4d5718..f4d5718 100644
--- a/public/codemirror.css
+++ b/public/dist/codemirror.css
diff --git a/public/codemirror.js b/public/dist/codemirror.js
index e42b63b..e42b63b 100644
--- a/public/codemirror.js
+++ b/public/dist/codemirror.js
diff --git a/public/eclipse.css b/public/dist/eclipse.css
index 800d603..800d603 100644
--- a/public/eclipse.css
+++ b/public/dist/eclipse.css
diff --git a/public/jquery-1.12.4.min.js b/public/dist/jquery-1.12.4.min.js
index e836475..e836475 100644
--- a/public/jquery-1.12.4.min.js
+++ b/public/dist/jquery-1.12.4.min.js
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>