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