| changeset 7385 | 10beb0e53130 |
| parent 7141 | 072fb225b714 |
| child 10139 | 17a71cd49da3 |
| 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) 2006 INRIA |
3 * Copyright (c) 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 |