Improve docs of objfile filename method.
This page took 0.042474 seconds and 3 git commands to generate.