[ros-dev] Binary download

[Jason Filby]

Hi all

Do we really need the binary download anymore? The binary is highly
downloaded, but I suspect that those that do download it then proceed
to the iso/livecd/bochs/qemu downloads which are more usable (if they
aren't too frustrated at that point).

Should we remove it? Does anyone object to that?

Cheers
Jason