diff options
| author | David Mehren | 2021-03-29 23:01:32 +0200 |
|---|---|---|
| committer | GitHub | 2021-03-29 23:01:32 +0200 |
| commit | 74f3780b220d2240f1f0e06875080d3c3ea3ed1d (patch) | |
| tree | 85a073b0145e80319156bc21fbe395a40c8abeaf /docs/content/dev/documentation.md | |
| parent | 6531ea1a2144804677f6832646f18117b1e555a2 (diff) | |
| parent | 6501e62557155ef9068637dd5b9009b7f99fe7a5 (diff) | |
Merge pull request #1083 from hedgedoc/fix/unix_socket_cleanup
Properly clean up socket on exit
Diffstat (limited to 'docs/content/dev/documentation.md')
0 files changed, 0 insertions, 0 deletions