diff options
| -rw-r--r-- | introexmp.tex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/introexmp.tex b/introexmp.tex index 5e8d4d8..e372889 100644 --- a/introexmp.tex +++ b/introexmp.tex @@ -115,7 +115,6 @@ voorgedaan: urf rf f - \end{verbatim} \end{exmp} |