diff options
| author | Barak A. Pearlmutter <barak+git@cs.nuim.ie> | 2014-02-24 12:17:03 +0000 |
|---|---|---|
| committer | Barak A. Pearlmutter <barak+git@cs.nuim.ie> | 2014-02-24 12:17:51 +0000 |
| commit | dd6573232f79b55de607ba3038eb9fc52bee8b18 (patch) | |
| tree | 3d989ee93ce27524f2da8f3f00824af04943c32c | |
| parent | 80b21fa0aa1ffbdc86f3fbf80d9ae7a5c05d8664 (diff) | |
debian/source/local-options single-debian-patch
| -rw-r--r-- | debian/source/local-options | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/source/local-options b/debian/source/local-options new file mode 100644 index 0000000..7423a2d --- /dev/null +++ b/debian/source/local-options @@ -0,0 +1 @@ +single-debian-patch |