undocumented feature

undocumented feature n.  See {feature}.



HTML Conversion by AG2HTML.pl V2.94618 & witbrock@cs.cmu.edu