]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Urg, formatting error...
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 21 Dec 1999 13:33:50 +0000 (13:33 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 21 Dec 1999 13:33:50 +0000 (13:33 +0000)
git-svn-id: https://svn.dealii.org/trunk@2101 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/base/include/base/thread_manager.h

index f7cf192b74baafb378146845c234e3eef340818f..e90adb1aeb2d7362c8e14cc00840745d098305fe 100644 (file)
  * the #params# structure exists long enough and that objects to which
  * elements of #params# point exist long enough. There are at least
  * two strategies for this problem:
- * \begin{verbatim}
- *
+ * \begin{enumerate}
  * \item Allocate the parameters object on the stack: one could modify
  *     the example as follows:
  *     \begin{verbatim}
  *     different parameter objects), as well as using the #spawn_n#
  *     function. Destruction of the parameter object remains with the
  *     calling function, as in the original example.
- * \end{verbatim}
+ * \end{enumerate}
  *
  *
  * \subsection{Example of use of this class}

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.