adjust the installation process so that it doesn't redownload z3#297
Open
rfindler wants to merge 1 commit intoemina:masterfrom
Open
adjust the installation process so that it doesn't redownload z3#297rfindler wants to merge 1 commit intoemina:masterfrom
rfindler wants to merge 1 commit intoemina:masterfrom
