Skip to content
Snippets Groups Projects
Commit 0e08dd28 authored by Johannes Pfeifer's avatar Johannes Pfeifer
Browse files

manual: fix some quotes

parent e27ab153
No related branches found
No related tags found
No related merge requests found
...@@ -15101,10 +15101,10 @@ Misc commands ...@@ -15101,10 +15101,10 @@ Misc commands
============= =============
   
.. command:: set_dynare_seed (INTEGER) .. command:: set_dynare_seed (INTEGER)
set_dynare_seed (`default') set_dynare_seed ('default')
set_dynare_seed (`clock') set_dynare_seed ('clock')
set_dynare_seed (`reset') set_dynare_seed ('reset')
set_dynare_seed (`ALGORITHM', INTEGER) set_dynare_seed ('ALGORITHM', INTEGER)
   
|br| Sets the seed used for random number generation. It is |br| Sets the seed used for random number generation. It is
possible to set a given integer value, to use a default value, or possible to set a given integer value, to use a default value, or
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment