diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-23 08:07:30 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-23 08:07:30 +0000 |
| commit | 3d7a330f320ac2ebf73df012556d64be9b120445 (patch) | |
| tree | b96c4a3c4f1165fd394ce3a854dbe9e02d370a92 /docs/dev/README.md | |
| parent | 15189bc7249fc68a1df0234721514b677a90a305 (diff) | |
| parent | 4fd8cfd6adc554752a63aed9ed71d44b372ec4dc (diff) | |
Merge #990
990: Forbid TODO markers on master branch r=matklad a=matklad
this makes TODO markers useful for things which you want to fix before sending a PR
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/dev/README.md')
0 files changed, 0 insertions, 0 deletions