I would like to create a new repository that could hold developer tools like both FEniCS Install and fenics-release. Other things that could be added are Martin's script for updating/building all packages etc.
Possible names are fenics-dev (repository name) FEniCS Developer Tools (repository label) Other options? Another possibility would be to create a new named just fenics / FEniCS where this could go, possibly as a starting point for a FEniCS "super repository". Thoughts? -- Anders
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
