On 25/08/10 10:21, Anders Logg wrote: > Isn't it good to document in the platform files why for example > Trilinos is commented out? >
I agree - we need somewhere to place developer comments in the platform files. Garth > -- > Anders > > > > _______________________________________________ > Mailing list: https://launchpad.net/~dorsal > Post to : [email protected] > Unsubscribe : https://launchpad.net/~dorsal > More help : https://help.launchpad.net/ListHelp _______________________________________________ Mailing list: https://launchpad.net/~dorsal Post to : [email protected] Unsubscribe : https://launchpad.net/~dorsal More help : https://help.launchpad.net/ListHelp
