I have already removed them. Please feel free to fix the .gitignore :) Johan
On Thu, Sep 26, 2013 at 10:29 AM, Anders Logg <[email protected]> wrote: > Almost, we should do 2 things: > > - Remove the files (but not from the history) > - Fix the .gitignore as Garth suggested > > -- > Anders > > > On Thu, Sep 26, 2013 at 10:18:20AM +0200, Johan Hake wrote: > > 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 > >
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
