New patch 08_doubleextensions.patch, kindly backported and provided by
[debian/jabref.git] / debian / repack.local
index 63d2a89e2afc1cb592db7676184b7849196e4d0e..f03c114cb7aa269ba20446e9c95af1a212a3da8d 100644 (file)
@@ -1,2 +1,3 @@
 requires_version 2
+SUFFIX=+ds
 rm lib