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