diff options
author | David Mehren | 2020-11-26 20:08:55 +0100 |
---|---|---|
committer | GitHub | 2020-11-26 20:08:55 +0100 |
commit | 66ad73d853d15423c63b823102931b35ef93722a (patch) | |
tree | cc523985365ca3dc9867c431b74dc3faeaa335e0 /docs/legal | |
parent | 929d4af2b5f9564c16074f4425a1ff693300f04e (diff) | |
parent | daf14a51e150eab35c99975e41e43d89da701906 (diff) |
Merge pull request #585 from hedgedoc/ci/prebuild-zip
Added zipping and uploading of production builds
Diffstat (limited to 'docs/legal')
0 files changed, 0 insertions, 0 deletions