Merge pull request #72 from sguada/solver_device_id
authorJeff Donahue <jeff.donahue@gmail.com>
Wed, 5 Feb 2014 19:19:28 +0000 (11:19 -0800)
committerJeff Donahue <jeff.donahue@gmail.com>
Wed, 5 Feb 2014 19:19:28 +0000 (11:19 -0800)
Rename devicequery.cpp to device_query.cpp


Trivial merge