Merge branch '3684_mc_profile_root'
commit61c681de94b6bdb97fc91937b86ec4d690d286db
authorAndrew Borodin <aborodin@vmail.ru>
Sun, 4 Dec 2016 06:41:23 +0000 (4 09:41 +0300)
committerAndrew Borodin <aborodin@vmail.ru>
Sun, 4 Dec 2016 06:41:23 +0000 (4 09:41 +0300)
tree3c5932fd905eeb572a5d2cc9a55d61f5e7070784
parent84433f43c24568c28f38e42638bb3cb68e1ca5b7
parent8002e522937c2e920d474476afc43ac9cac64f6d
Merge branch '3684_mc_profile_root'

* 3684_mc_profile_root:
  (mc_config_init_config_paths): minor optimization.
  Rename mc_config_get_profile_root() to mc_get_profile_root()
  Fix manual pages.
  Ticket #3684: replace $MC_HOME with $MC_PROFILE_ROOT, a better "profile" mechanism.