From 7844357b26124234127c4315bf9b9e8054a11c80 Mon Sep 17 00:00:00 2001 From: Teddy Wing Date: Thu, 22 Nov 2018 19:06:21 +0100 Subject: Add license --- doc/extract_special_key_names.sh | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'doc') diff --git a/doc/extract_special_key_names.sh b/doc/extract_special_key_names.sh index 36f7ab6..080354d 100644 --- a/doc/extract_special_key_names.sh +++ b/doc/extract_special_key_names.sh @@ -1,5 +1,20 @@ #!/bin/sh +# Copyright (c) 2018 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 . + sed -n \ 's/[[:space:]]*try(string_case_insensitive("\([[:alnum:]]\{1,\}\)"))/\1/p' \ lib/dome-key-map/src/parser.rs -- cgit v1.2.3