##// END OF EJS Templates
Merge pull request #3677 from minrk/nofreeze...
Merge pull request #3677 from minrk/nofreeze remove special-case in get_home_dir for frozen dists Not needed anymore.
Matthias Bussonnier -
r11520:9b33eb50 merge
Show More