aboutsummaryrefslogtreecommitdiff
path: root/ext/js/input/hotkey-util.js
diff options
context:
space:
mode:
authortoasted-nutbread <toasted-nutbread@users.noreply.github.com>2021-02-25 20:21:05 -0500
committerGitHub <noreply@github.com>2021-02-25 20:21:05 -0500
commit782b945905c948b9a0495aa85524ad1a92c7bd97 (patch)
tree2dfe5e1b38a2f448f77f62135a974ca75002090f /ext/js/input/hotkey-util.js
parentb2f225a0d6a63d65d0543539d688d33c51a4fb8e (diff)
Header lint (#1444)
* Add eslint-plugin-header * Add rule for header format * Add missing header * Fix header issues
Diffstat (limited to 'ext/js/input/hotkey-util.js')
-rw-r--r--ext/js/input/hotkey-util.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/js/input/hotkey-util.js b/ext/js/input/hotkey-util.js
index ea3daf97..3e6d6388 100644
--- a/ext/js/input/hotkey-util.js
+++ b/ext/js/input/hotkey-util.js
@@ -12,7 +12,7 @@
* 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 <http://www.gnu.org/licenses/>.
+ * along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
/**