From 1edb02101a9306fc711cd422ed507d18165b1691 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Sat, 15 Jul 2017 11:25:39 +0200 Subject: move from support/1.0.27 to feature/1.0.27 --- tools/check-po.awk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/check-po.awk') diff --git a/tools/check-po.awk b/tools/check-po.awk index 25e0728..09e4d15 100755 --- a/tools/check-po.awk +++ b/tools/check-po.awk @@ -1,4 +1,4 @@ -#!/bin/awk -f +#!/usr/bin/gawk -f # This program is free software; you can redistribute it and/or # modify it under the terms of the GNU General Public License as -- cgit v1.2.3