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 University of Washington |
3 // Copyright (c) 2008 University of Washington |
4 // |
4 // |
5 // 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 |
6 // 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 |