micro: disable ONLINE_PACKAGE_MANAGEMENT globally
authorPhil Blundell <philb@gnu.org>
Sat, 13 Jun 2009 19:42:07 +0000 (20:42 +0100)
committerPhil Blundell <philb@gnu.org>
Sat, 13 Jun 2009 19:42:07 +0000 (20:42 +0100)
commitfb8cbd53a9d6384e664016e8fa1b2709efd91d2e
treebfd6811618e61733bffff667ecfadbcaa4349809
parente0f0ba11e699802cb04d738bbca11160648623f4
micro: disable ONLINE_PACKAGE_MANAGEMENT globally
conf/distro/micro.conf