diff options
| author | Laurențiu Nicola <[email protected]> | 2020-07-06 11:59:24 +0100 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-07-06 11:59:24 +0100 |
| commit | 8ab0c7ffd3f976272caa65b00220d016f6018d8a (patch) | |
| tree | 7db910db71e197fd7e492ae47077d084726d2bb3 /editors/code/src/net.ts | |
| parent | a0f24455ddc474ee288849b79aa1fc8ca7829385 (diff) | |
Don't ping people in PRs
Diffstat (limited to 'editors/code/src/net.ts')
0 files changed, 0 insertions, 0 deletions