On Thu, Mar 21, 2013 at 11:06:14PM +0100, Martin Sandve Alnæs wrote: > If you download a tarball for a release, then you will get > everything > bundled. It is only if you do 'git clone' and then revert to an > earlier version that you run into trouble. > I'm not planning to unpack all the old tarballs and remove > stuff from them... :-) > Make that "when reverting to an earlier dolfin version" then, same > issue > as the checked in code when debugging and looking for the version that > fails to run a demo.
By this argument, there isn't much we can remove. -- Anders _______________________________________________ Mailing list: https://launchpad.net/~fenics Post to : [email protected] Unsubscribe : https://launchpad.net/~fenics More help : https://help.launchpad.net/ListHelp

