"Pervasive" box: fix pause

This commit is contained in:
Théophile Bastian 2019-10-24 10:39:44 +03:00
parent 6af99634a5
commit b8f437e146

View file

@ -367,7 +367,7 @@ Segmentation fault.
\LARGE \LARGE
\textbf{Pervasive:}\\ relied upon by profilers, debuggers, \textbf{Pervasive:}\\ relied upon by profilers, debuggers,
aaand\ldots{} aaand\ldots{}
\onslide<4->{ \onslide<5->{
C++ exceptions. \\ C++ exceptions. \\
\medskip{} \medskip{}
\textbf{$\leadsto$ not only for debuggers!}} \textbf{$\leadsto$ not only for debuggers!}}