Ok, I agree. I vote for not doing anything then. Johan
On Thu, Sep 26, 2013 at 10:13 AM, Martin Sandve Alnæs <[email protected]>wrote: > They're only 50 and 80 KB files uncompressed, so they won't take much > space in .git/. Its not worth the trouble. > > Martin > > > On 26 September 2013 10:09, Johan Hake <[email protected]> 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 have removed them, but I wonder if we should also remove them from the >> git history? >> >> Johan >> >> _______________________________________________ >> fenics mailing list >> [email protected] >> http://fenicsproject.org/mailman/listinfo/fenics >> >> >
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
