build system: fix indentation in config menu
authorDenis Vlasenko <vda.linux@googlemail.com>
Thu, 17 Jul 2008 18:26:45 +0000 (18:26 -0000)
committerDenis Vlasenko <vda.linux@googlemail.com>
Thu, 17 Jul 2008 18:26:45 +0000 (18:26 -0000)
commitbc06fb27d26115563e0d9bab27f1bd33eda92902
treea6eed89439c0eb78541d6856b99aa6bbf5921f26
parenta474b689914e38e7cd2f9c22ee7b8308cdeeb955
build system: fix indentation in config menu
archival/Config.in