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