menuconfig: remember alternate config filename
This page took 0.566041 seconds and 4 git commands to generate.