diff options
| author | Teddy Wing | 2018-11-22 19:06:21 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-22 19:06:21 +0100 |
| commit | 7844357b26124234127c4315bf9b9e8054a11c80 (patch) | |
| tree | 43852c1da1bee0a2f18687faba45c7df1cc0f5f5 /doc/extract_special_key_names.sh | |
| parent | 921c11a10595097abbc8b11d585954f0969df99e (diff) | |
| download | DomeKey-7844357b26124234127c4315bf9b9e8054a11c80.tar.bz2 | |
Add license
Diffstat (limited to 'doc/extract_special_key_names.sh')
| -rw-r--r-- | doc/extract_special_key_names.sh | 15 |
1 files changed, 15 insertions, 0 deletions
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 <https://www.gnu.org/licenses/>. + sed -n \ 's/[[:space:]]*try(string_case_insensitive("\([[:alnum:]]\{1,\}\)"))/\1/p' \ lib/dome-key-map/src/parser.rs |