diff options
Diffstat (limited to 'debian/libboogie-cil.install')
| -rw-r--r-- | debian/libboogie-cil.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/libboogie-cil.install b/debian/libboogie-cil.install index 77207bb6..f000c339 100644 --- a/debian/libboogie-cil.install +++ b/debian/libboogie-cil.install @@ -1 +1 @@ -Binaries/*.dll /usr/lib/boogie +Binaries/*.dll usr/lib/boogie |