Skip to content
Snippets Groups Projects
Unverified Commit 7c381f04 authored by Robin De Schepper's avatar Robin De Schepper Committed by GitHub
Browse files

Fix type in contributing docs (#1762)

parent 9b495838
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
doc/contrib/doc.rst
+ 1
− 1
View file @ 7c381f04
...@@ -23,7 +23,7 @@ Update policy ...@@ -23,7 +23,7 @@ Update policy
How to we decide if documentation is good? By observing how effective it is used How to we decide if documentation is good? By observing how effective it is used
in practice. If a question on Arbor (regardless of medium) is satisfactorily in practice. If a question on Arbor (regardless of medium) is satisfactorily
resolved (on both sides!) by with a pointer to the (relevant section in the) docs, resolved (on both sides!) with a pointer to the (relevant section in the) docs,
the documentation was good. If, on the other hand, explanation was needed, the the documentation was good. If, on the other hand, explanation was needed, the
documentation was bad. documentation was bad.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment