From: Ian T. <ian...@gm...> - 2013-10-07 19:21:22
|
On 7 October 2013 15:22, Michael Droettboom <md...@st...> wrote: > I like this idea. I've seen this called "extern" in other projects, but I > don't have a strong feeling about the name. I think it's good idea for all > of the reasons you mention. > OK, 'extern' seems the best directory name. After I've finished the qhull PR I'll create another one to move the existing directories across. Ian |