diff options
author | Thomas Kriechbaumer <Kriechi@users.noreply.github.com> | 2020-04-12 22:06:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-12 22:06:22 +0200 |
commit | 30645fa1ac6fa828bda390383abee7c04f20206f (patch) | |
tree | 10b599dab550e06c6d2d9ffb37dd1a3cf783922a /docs/build-archive | |
parent | ce50e8e52dc5316f9be29bc00d0dc72fc2b0af83 (diff) | |
parent | 55527c00eb35bf3b07b361363fd8ca2961afc8ba (diff) | |
download | mitmproxy-30645fa1ac6fa828bda390383abee7c04f20206f.tar.gz mitmproxy-30645fa1ac6fa828bda390383abee7c04f20206f.tar.bz2 mitmproxy-30645fa1ac6fa828bda390383abee7c04f20206f.zip |
Merge pull request #3921 from Kriechi/example-docs
Example docs
Diffstat (limited to 'docs/build-archive')
-rwxr-xr-x | docs/build-archive | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/docs/build-archive b/docs/build-archive deleted file mode 100755 index 004e625a..00000000 --- a/docs/build-archive +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -set -e - -DOCS_ARCHIVE=true ./build-current |