On Thu, Sep 26, 2013 at 10:09:50AM +0200, Johan Hake wrote: > In commit: > > 82cfefae2a3a81dcdf910840bc556510dd38348e > > in dolfin it was commited some mesh files: > > demo/documented/stokes-mini/dolfin_fine.xml.gz > demo/documented/stokes-mini/dolfin_fine_subdomains.xml.gz > demo/documented/stokes-stabilized/dolfin_fine.xml.gz > demo/documented/stokes-stabilized/dolfin_fine_subdomains.xml.gz > demo/documented/stokes-taylor-hood/dolfin_fine_subdomains.xml.gz > > These should not be residing in the repository but rather be > downloaded. I hav
That's my fault. They must have slipped in while I merged in the new documentation. > removed them, but I wonder if we should also remove them from the git history? Do you remember how? I could dig up the old scripts we used to clean the repository. But wouldn't that lead to problems with all branches merged off from master after those files were added? -- Anders _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
