Commit 222cf1d45992d746716c10808911e2996c650182

Romain Geissler 2011-06-04T00:14:37

Repository: Splitted the repository destructor into a helper part (only free directories path) and the complete public destructor.