On Sun, 18 Jan, 2015 at 11:21 PM, Anders Logg <[email protected]> wrote:
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?
How about
fenics-dev-tools
'fenics-dev' is too generic and sounds like it should hold the actual
code.
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?
We need someone to experiment with subtrees before knowing if a
super-repo is the right path to go down.
Garth
--
Anders
_______________________________________________
fenics mailing list
[email protected]
http://fenicsproject.org/mailman/listinfo/fenics
