diff images/pull.png @ 176:a6ec8d0bdd34

* Add option whether to use extension or not, and show path for it in settings
author Chris Cannam
date Thu, 16 Dec 2010 18:00:12 +0000
parents a9098eba2ee5
children
line wrap: on
line diff