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/prop/cryptominisat | |
| parent | 5d9fabc11757166679db9df874a0abe876aec0b8 (diff) | |
fix swig-ignored interface name; hopefully fixes Debian package nightly builds
Diffstat (limited to 'src/prop/cryptominisat')
0 files changed, 0 insertions, 0 deletions