Revision 5d5796b69131f81b2fa21f63e354f3ae18d46d0f

Committed on 24/07/2012 4:06 pm by Paul Zumbrun <paul.zumbrun@beaconfire.com> [GitHub Diff]

Initial commit of bfdebug. bfdebug operator by Miro. Everything else by Paul.