changeset 2834 | 1aab57845b07 |
parent 2719 | 6688934b493a |
child 2939 | 3cff8627a284 |
--- a/src/core/type-id.h Mon Mar 31 14:50:25 2008 -0700 +++ b/src/core/type-id.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) 2008 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