Index: tools/linux_dist_support/debian/compat |
diff --git a/tools/linux_dist_support/debian/compat b/tools/linux_dist_support/debian/compat |
new file mode 100644 |
index 0000000000000000000000000000000000000000..7f8f011eb73d6043d2e6db9d2c101195ae2801f2 |
--- /dev/null |
+++ b/tools/linux_dist_support/debian/compat |
@@ -0,0 +1 @@ |
+7 |