diff options
Diffstat (limited to 'feature_to_c.sh')
| -rw-r--r-- | feature_to_c.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/feature_to_c.sh b/feature_to_c.sh index bce77b6f52..53975ebca7 100644 --- a/feature_to_c.sh +++ b/feature_to_c.sh @@ -17,9 +17,7 @@ # 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, write to the Free Software -# Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with this program; if not, see <http://www.gnu.org/licenses/>. output=$1 shift |