doc/: Consistently write `rôle', rather than `role', in prose.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 9 Jun 2018 02:43:41 +0000 (03:43 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 9 Jun 2018 02:43:41 +0000 (03:43 +0100)
commit8ec911fa0b763bd9ea8eb24feefcdef91c691bdd
tree1c8cef77c3b4c6a34150539cfc7787c323d3aa36
parent3a774b55edfea441c1715994924c2999e9202143
doc/: Consistently write `rôle', rather than `role', in prose.

Obviously there's no diacritic in identifiers.
doc/concepts.tex