diff info/dir @ 80764:8c1de2106017

Update based on current directory layout and recommended tools.
author Jason Rumney <jasonr@gnu.org>
date Wed, 27 Aug 2008 16:53:46 +0000
parents 29d30adaf4e4
children 146cd8369025 e8535ac41fad
line wrap: on
line diff