I also think we should delete the directory, because its moved (with history) to a new location, which can be easily found. The tagged versions remains in the sandbox, in case someone is looking for the old release version.
Jörn
I also think we should delete the directory, because its moved (with history) to a new location, which can be easily found. The tagged versions remains in the sandbox, in case someone is looking for the old release version.
Jörn