src/core/ptr.h
changeset 2834 1aab57845b07
parent 1867 16deaedc0380
child 2965 4b28e9740e3b
--- a/src/core/ptr.h	Mon Mar 31 14:50:25 2008 -0700
+++ b/src/core/ptr.h	Mon Mar 31 14:56:41 2008 -0700
@@ -1,7 +1,6 @@
 /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */
 /*
  * Copyright (c) 2005,2006 INRIA
- * All rights reserved.
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 2 as