On Nov 28, 2007 1:44 PM, Jason Chu <jason at archlinux.org> wrote: > Sounds fine. Devtools was meant to be a ragtag set of scripts that help > developers. I assumed as much as well. It seems annoying to have scripts floating all over the place. I ear-marked this for tonight.