Hello,I'm trying to download and build sopc2dts by following the instructions on the devicetree wiki page (http://www.alterawiki.com/wiki/devicetree) and am having trouble cloning the tools.git repository which contains the sopc2dts source. The instructions on the wiki are to run: git clone git://sopc.et.ntust.edu.tw/git/tools.git I have to use the http:// proxy instead of git:// to get past a firewall, but when I run this command I get the following message: git clone http://sopc.et.ntust.edu.tw/git/tools.git Initialized empty Git repository in /home/tgraessle/tools/.git/ warning: You appear to have cloned an empty repository. It seems to be creating the repository OK but not retrieving the sopc2dts source files. I'm able to clone other git repositories on the sopc.et.ntust.edu.tw server using http:// OK, such as elf2flt.git and boards.git, so this seems to just be a problem with the tools.git repository. Has anyone else run into this problem or know how to work around this issue? Thanks!