these scripts were added at the start of the project and have only seen mechanical changes since. if no one is using them, i'd rather just punt them and be done.-mike
--
--
Chromium OS Developers mailing list: chromiu...@chromium.org
View archives, change email options, or unsubscribe:
https://groups.google.com/a/chromium.org/group/chromium-os-dev