Re: [armedbear-devel] recording source file locations