diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2016-03-08 23:17:41 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2016-03-08 23:33:12 +0100 |
commit | 435d6bb2731f0205ff0789e8abeca189e0a35204 (patch) | |
tree | 9fae6781186d31f838b4de482516dda38627550f /debian/pullimap.install | |
parent | ec87e1965d758bc3af4403a3cf469c3297f8cb1a (diff) |
split
Diffstat (limited to 'debian/pullimap.install')
-rw-r--r-- | debian/pullimap.install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/pullimap.install b/debian/pullimap.install new file mode 100644 index 0000000..76b9d90 --- /dev/null +++ b/debian/pullimap.install @@ -0,0 +1 @@ +pullimap /usr/bin |