Index: tools/linux_dist_support/debian/source/format |
diff --git a/tools/linux_dist_support/debian/source/format b/tools/linux_dist_support/debian/source/format |
new file mode 100644 |
index 0000000000000000000000000000000000000000..163aaf8d82b6c54f23c45f32895dbdfdcc27b047 |
--- /dev/null |
+++ b/tools/linux_dist_support/debian/source/format |
@@ -0,0 +1 @@ |
+3.0 (quilt) |