doc/manual/source/replace.txt
changeset 6745 39a3254a8d38
child 9966 1f4311245fc6
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/manual/source/replace.txt	Thu Dec 30 23:44:47 2010 +0100
@@ -0,0 +1,3 @@
+.. |ns3| replace:: *ns-3*
+
+.. |ns2| replace:: *ns-2*