diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-02-25 20:21:05 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-25 20:21:05 -0500 |
| commit | 782b945905c948b9a0495aa85524ad1a92c7bd97 (patch) | |
| tree | 2dfe5e1b38a2f448f77f62135a974ca75002090f /ext/js/input/hotkey-util.js | |
| parent | b2f225a0d6a63d65d0543539d688d33c51a4fb8e (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.js | 2 |
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/>. */ /** |