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) 2007 Georgia Tech Research Corporation |
3 * Copyright (c) 2007 Georgia Tech Research Corporation |
4 * Copyright (c) 2009 INRIA |
4 * Copyright (c) 2009 INRIA |
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 |