Mathemagix

[Julien Wintz <address@concealed>]

Dear list,

I propose considering the use of svn propedit svn:ignore on the trunk since typing svn status is indeed not very useful anymore.

To my opinion files that can be added on the ignore list are of the type:

- Makefile

- */config.status

- */config.log

- build folders

- .libs folders

etc.

Ju.