docs

5c13f34e · James Bergstra · 13686b05 · 5c13f34e · 5c13f34e
--- a/doc/tutorial/debugmode.txt
+++ b/doc/tutorial/debugmode.txt
--- a/doc/tutorial/profilemode.txt
+++ b/doc/tutorial/profilemode.txt