ext/ names (was: re:[PATCH] HP/SGI extensions to...)

[Phil Edwards]

On Thu, Jan 03, 2002 at 03:53:25PM -0800, Benjamin Kosnik wrote:
> 
> > > How about ext/rb_tree.h, then?
> > 
> > I don't particularly mind one way or another.
> 
> I don't either. However, let's be consistent, and have all the 
> user-include-able ext headers either have a suffix or not.

So far we have one vote for suffixes, none against, and two "enh, whatever"s.

Sometime tomorrow we'll be renaming the user-include-able ext headers with
.h, then.  And then I need to come up with doxygen hooks.


Phil

-- 
If ye love wealth greater than liberty, the tranquility of servitude greater
than the animating contest for freedom, go home and leave us in peace.  We seek
not your counsel, nor your arms.  Crouch down and lick the hand that feeds you;
and may posterity forget that ye were our countrymen.            - Samuel Adams