From 13a84709a3d940f71a32b46108ffb25e854c2b98 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Wed, 4 Aug 2021 22:30:51 +0200
Subject: Add user script header and license header

---
 google-docs-last-edit-label.user.js | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/google-docs-last-edit-label.user.js b/google-docs-last-edit-label.user.js
index 9176c6e..841a735 100644
--- a/google-docs-last-edit-label.user.js
+++ b/google-docs-last-edit-label.user.js
@@ -1,3 +1,26 @@
+// ==UserScript==
+// @name Google Docs Last Edit Label
+// @description Show a tooltip when hovering over the last edit time label
+// @namespace com.teddywing
+// @version 0.0.1
+// @match https://docs.google.com/*
+// ==/UserScript==
+
+// Copyright (c) 2021  Teddy Wing
+//
+// This program is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+//
+// This program is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with this program. If not, see <https://www.gnu.org/licenses/>.
+
 
 var last_edit_label = document.querySelector('.docs-title-save-label-text');
 last_edit_label.setAttribute('title', last_edit_label.textContent);
-- 
cgit v1.2.3