diff doc/developer.rst @ 3828:432aaba0d7fe

doc (developer): typo
author Goffi <goffi@goffi.org>
date Sat, 09 Jul 2022 16:29:36 +0200
parents 25d3677701e7
children 524856bd7b19
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