I have something to push to ufc/ffc/ufl if the merge hasn't started but can wait if the merge is underway.
Martin
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
- [FEniCS] ufc/ffc merge happening now or later? Martin Sandve Alnæs
- Re: [FEniCS] ufc/ffc merge happening now or late... Martin Sandve Alnæs
- Re: [FEniCS] ufc/ffc merge happening now or ... Anders Logg
- Re: [FEniCS] ufc/ffc merge happening now... Johannes Ring
- Re: [FEniCS] ufc/ffc merge happening... Anders Logg
- Re: [FEniCS] ufc/ffc merge happ... Johannes Ring
- Re: [FEniCS] ufc/ffc merge ... Anders Logg
