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