Use \path{...} command from 'url' package to mark pathnames
commitc830e40167be952a4e4d7cabadec9edb9a7c54f1
authorJakub Narebski <jnareb@gmail.com>
Fri, 30 Nov 2007 16:38:36 +0000 (30 17:38 +0100)
committerJonas Juselius <jonas@iki.fi>
Mon, 3 Dec 2007 11:06:02 +0000 (3 12:06 +0100)
tree72ec479559e2d212b636d09a5750180c3108042f
parentf8aad263744e72097e5ab4abbe56e0e0c84822ca
Use \path{...} command from 'url' package to mark pathnames

This is a step towards content based markup, instead of specifying
style explicitely.  This makes it easier for example to change style
(formatting) of all pathnames.

Signed-off-by: Jakub Narebski <jnareb@gmail.com>
git_guide.tex