doc/tutorial/source/replace.txt
changeset 6754 7ff69b244b5b
child 10110 19cd300c6fc6
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/tutorial/source/replace.txt	Sun Jan 02 22:57:32 2011 -0800
@@ -0,0 +1,3 @@
+.. |ns3| replace:: *ns-3*
+
+.. |ns2| replace:: *ns-2*