From: Paul Eggert <eggert@cs.ucla.edu>
Date: Wed, 13 Aug 2003 07:04:57 +0000 (+0000)
Subject: Add first line of copyright notice -- the most important part!
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e7888895a8a395c42f08595d3eb37b3869742b4d;p=pspp

Add first line of copyright notice -- the most important part!
---

diff --git a/config/srclist-update b/config/srclist-update
index 302ef438a6..53e5b897ff 100755
--- a/config/srclist-update
+++ b/config/srclist-update
@@ -1,11 +1,13 @@
 #!/bin/sh
-# $Id: srclist-update,v 1.11 2003-08-13 06:48:58 eggert Exp $
+# $Id: srclist-update,v 1.12 2003-08-13 07:04:57 eggert Exp $
 #
 # Check for files in directory $1 being up to date, according to the
 # list on stdin.  Don't actually make any changes, just show the diffs.
 #
 # Source `dirname $0`/srclistvars.sh first, if it exists.
 
+# Copyright (C) 2002, 2003 Free Software Foundation, Inc.
+#
 # 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 2, or (at your option)