diff options
author | Dimitri John Ledkov <dimitri.j.ledkov@intel.com> | 2014-10-01 11:49:31 +0100 |
---|---|---|
committer | Dimitri John Ledkov <dimitri.j.ledkov@intel.com> | 2014-10-01 11:49:31 +0100 |
commit | 19adf2e079279776882a0a354f1191a9cac30881 (patch) | |
tree | 1cc812d1a4b903688966a7ec3a280e32f2754760 | |
parent | 284fa03fb77b5b865c6c966c1c4fc322aa076599 (diff) |
add source options
-rw-r--r-- | debian/source/options | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 0000000..8b0edc0 --- /dev/null +++ b/debian/source/options @@ -0,0 +1 @@ +no-preparation
\ No newline at end of file |