diff options
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 } |