| changeset 7385 | 10beb0e53130 |
| parent 7333 | 17b50c5b062c |
| child 9176 | 41ab1e874804 |
| 7384:3350424e0466 | 7385:10beb0e53130 |
|---|---|
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) 2005,2006 INRIA |
3 * Copyright (c) 2005,2006 INRIA |
4 * Copyright (c) 2009 MIRKO BANCHI |
4 * Copyright (c) 2009 MIRKO BANCHI |
5 * |
5 * |
6 * This program is free software; you can redistribute it and/or modify |
6 * This program is free software; you can redistribute it and/or modify |