doc(add_tactic_doc): slight improvement to docs #2365
mergify
merged
7 commits into
master
from
add_tactic_doc_docs
doc(add_tactic_doc): slight improvement to docs
ff13af21
urkud
commented
on 2020-04-09
Update docs/contribute/doc.md
ae65c658
robertylewis
commented
on 2020-04-09
robertylewis
commented
on 2020-04-09
sentence
da7d24cd
robertylewis
approved these changes
on 2020-04-09
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into add_tactic_doc_docs
a8fead47
bryangingechen
commented
on 2020-04-09
update add_tactic_doc doc entry
216d4714
Merge branch 'master' into add_tactic_doc_docs
59fc78f6
Merge branch 'master' into add_tactic_doc_docs
27c56af5
Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub