10 Apr
2009
10 Apr
'09
2:40 p.m.
I think we should make an exception for the downloader tool and move it out
of rosapps into the main source.
I think the argument for having it in there would exceed the argument
against.
Any thoughts?