changeset 3828:432aaba0d7fe

doc (developer): typo
author Goffi <goffi@goffi.org>
date Sat, 09 Jul 2022 16:29:36 +0200
parents 23b53ac87e0f
children 67fc066ed2cd
files doc/developer.rst
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/doc/developer.rst	Wed Jun 29 14:23:16 2022 +0200
+++ b/doc/developer.rst	Sat Jul 09 16:29:36 2022 +0200
@@ -72,7 +72,7 @@
 
 * the parsing is resource consuming (network call or some CPU intensive operations are
   done)
-* it is desirable to to queries on parsed data. Indeed the parsed data is stored in a
+* it is desirable to do queries on parsed data. Indeed the parsed data are stored in a
   JSON_ field and its keys may be queried individually.
 
 The Raw XML is kept as the cache operates transparently, and a plugin may need raw data, or