diff options
author | glx22 <glx@openttd.org> | 2021-03-09 18:00:37 +0100 |
---|---|---|
committer | Loïc Guilloux <glx22@users.noreply.github.com> | 2021-03-09 22:42:25 +0100 |
commit | 35a228f78f5b64f57e93ce8d108cec98d805b469 (patch) | |
tree | 694535c3673a923a3c2481f81b53fb9b134a1028 /media/openttd.desktop.filter.awk | |
parent | b5770acd50215744b5f9649b1ba4386be4b452c5 (diff) | |
download | openttd-35a228f78f5b64f57e93ce8d108cec98d805b469.tar.xz |
Add: [CMake] Install menu and media files
Diffstat (limited to 'media/openttd.desktop.filter.awk')
-rw-r--r-- | media/openttd.desktop.filter.awk | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/media/openttd.desktop.filter.awk b/media/openttd.desktop.filter.awk deleted file mode 100644 index 125e21b0d..000000000 --- a/media/openttd.desktop.filter.awk +++ /dev/null @@ -1,11 +0,0 @@ -# This file is part of OpenTTD. -# OpenTTD 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, version 2. -# OpenTTD 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 OpenTTD. If not, see <http://www.gnu.org/licenses/>. - -# -# Awk script to automatically remove duplicate Comment[i]= lines -# - -BEGIN { FS = "="; last = "" } -{ if (last != $1) { print $0 }; last = $1 } |