It was detyped, my bad.
On 1/31/11 1:11 PM, Brian Stansberry wrote:
The "detyped" or "detyped2" branch? Active development is on
"detyped2".
I should remove "detyped" from github; it was a bunch of stuff I did in
Nov/Dec that I abandoned when we started using the jboss-dmr library.