equal
deleted
inserted
replaced
1 /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */ |
1 /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */ |
2 /* |
2 /* |
3 * Copyright (c) 2008 INRIA |
3 * Copyright (c) 2008 INRIA |
4 * All rights reserved. |
|
5 * |
4 * |
6 * This program is free software; you can redistribute it and/or modify |
5 * This program is free software; you can redistribute it and/or modify |
7 * it under the terms of the GNU General Public License version 2 as |
6 * it under the terms of the GNU General Public License version 2 as |
8 * published by the Free Software Foundation; |
7 * published by the Free Software Foundation; |
9 * |
8 * |