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 /bin/manage_users | |
| 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 'bin/manage_users')
0 files changed, 0 insertions, 0 deletions