Re: [armedbear-devel] Manual format