Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[Documentation] Changed word 'config item' to 'config option'
authorChristian Heinrich <franz-christian.heinrich@inria.fr>
Thu, 21 May 2015 12:22:53 +0000 (14:22 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 9 Jun 2015 07:59:09 +0000 (09:59 +0200)
doc/doxygen/options.doc

index 3a5c0d5..49a4cec 100644 (file)
@@ -674,7 +674,7 @@ used. By setting it to 0, no guard pages will be used: in this case,
 you should avoid using small stacks (\b stack_size) as the stack will
 silently overflow on other parts of the memory.
 
-\section options_index Index of all existing configuration items
+\section options_index Index of all existing configuration options
 
 - \c contexts/factory: \ref options_virt_factory
 - \c contexts/guard_size: \ref options_virt_parallel