Commits

Antonio Cuni committed d7b6bd1

remove old directories, they are useless by now (and they break tab completion :-))

Comments (0)

Files changed (1801)