diff options
| author | Marcin Owsiany <porridge@google.com> | 2017-10-17 08:22:13 +0200 |
|---|---|---|
| committer | Marcin Owsiany <porridge@google.com> | 2017-10-17 08:22:13 +0200 |
| commit | 9f00fc2205fbf9c85db7c2b76f5d7240834a1a64 (patch) | |
| tree | b2a64411518731540786e7d422f12d20d1c8e935 /github-management | |
| parent | 0cd18de8af66b0d8e42d2e295c276a4a9925a852 (diff) | |
Remove a useless link to an empty document.
The target was merged with a different doc which is already linked from
this one.
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions