starred/micro-editor.github.io
1
0
Fork 0
mirror of https://github.com/micro-editor/micro-editor.github.io.git synced 2026-08-24 10:13:45 -05:00
Code Issues Packages Projects Releases Wiki Activity

Remove platform.js

Browse Source
This commit is contained in:
Zachary Yedidia
2016-10-18 21:41:18 -04:00
parent 7e75cc50c8
commit da9ce026d8
2 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
about.html
-1
View File
@@ -12,7 +12,6 @@
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css">
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js"></script>
<script src="micro_files/platform.js"></script>
<title>Micro - About</title>
index.html
-1
View File
@@ -12,7 +12,6 @@
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css">
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.12.4/jquery.min.js"></script>
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js"></script>
<script src="micro_files/platform.js"></script>
<title>Micro - Home</title>