moving psensor to gitlab news

[www.git] / docinfo.html

diff --git a/docinfo.html b/docinfo.html
index 0e87d5b..3e766e7 100644 (file)
--- a/docinfo.html
+++ b/docinfo.html
@@ -1,3 +1,4 @@
 <script src="https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js"></script>
 <script src="nav.js"></script>
-<link rel="stylesheet" href="/font-awesome/css/font-awesome.min.css">
+<script src="https://apis.google.com/js/platform.js" async defer>
+</script>