diff options
Diffstat (limited to 'tools/gnome-doc-tool.in')
| -rw-r--r-- | tools/gnome-doc-tool.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/gnome-doc-tool.in b/tools/gnome-doc-tool.in index 78327f0..d485b6c 100644 --- a/tools/gnome-doc-tool.in +++ b/tools/gnome-doc-tool.in @@ -14,8 +14,7 @@ # 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. +# along with this program; if not, see <http://www.gnu.org/licenses/>. # # As a special exception to the GNU General Public License, if you # distribute this file as part of a program that contains a |