casadi/casadi — pull request #985 by toivoh (2014-02-11 10:10:56+00:00)
Title: Don't install .svn directories in casadi/tools/

Some of my colleagues have been getting problems recently where `.svn` directories are installed into `casadi/tools/` and `casadi/tools/graph`. This patch seems to fix them. (This then gives permissions violations when we try to copy the installation into a new location.)