| changeset 7385 | 10beb0e53130 |
| parent 7353 | 09fccf6195ea |
| child 8979 | ec22102a45da |
| 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) 2004 Francisco J. Ros |
3 * Copyright (c) 2004 Francisco J. Ros |
4 * Copyright (c) 2007 INESC Porto |
4 * Copyright (c) 2007 INESC Porto |
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 |