diff options
author | Julian Andres Klode <jak@debian.org> | 2018-04-15 18:57:53 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2018-04-15 18:57:53 +0000 |
commit | 1cbb4c95f3fdd0872a7f1cb0f970f50a68c13959 (patch) | |
tree | a4d862020a09309efa6801d791216649368bd263 /doc/examples | |
parent | e441cba86f9aa50c9e785d9aa45ae0a43ac5c123 (diff) | |
parent | 7cf73b7a1e4f127098cae5b8593cd1d0c675e4a4 (diff) |
Merge branch 'pu/zstd' into 'master'
pu/zstd
See merge request apt-team/apt!8
Diffstat (limited to 'doc/examples')
-rw-r--r-- | doc/examples/configure-index | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index 3763aa900..4612f362e 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -416,6 +416,7 @@ Dir "<DIR>" dpkg-source "<PROGRAM_PATH>"; dpkg-buildpackage "/usr/bin/dpkg-buildpackage"; lz4 "<PROGRAM_PATH>"; + zstd "<PROGRAM_PATH>"; gzip "<PROGRAM_PATH>"; xz "<PROGRAM_PATH>"; bzip2 "<PROGRAM_PATH>"; |