diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-03-28 18:22:32 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-03-28 18:22:32 +0000 |
commit | 4fa767be298c40ebb95b74d5016a0538c02212e6 (patch) | |
tree | 0e90539a5af16dc06a1e44e173e69bf9908653ab /src/theory | |
parent | 5d9fabc11757166679db9df874a0abe876aec0b8 (diff) |
fix swig-ignored interface name; hopefully fixes Debian package nightly builds
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions