diff shelltools/edit-pr/edit.py @ 16:824c60f0d7b2

hgignore for the docs
author David A. Holland
date Mon, 03 Sep 2012 13:56:54 -0400
parents c013fb703183
children
line wrap: on
line diff