| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Thu Feb 12 21:42:22 EST 2009 |
|
Jay, given the tendency to copy-and-paste code, why not change "path" to "your-path-goes-here" or something like that? And doing the same in general in other parts of the docs?
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}