Skip to content
This repository has been archived by the owner on Apr 21, 2023. It is now read-only.

Unbreak install after repo transfers #1523

Merged
merged 2 commits into from
Jan 8, 2018
Merged

Unbreak install after repo transfers #1523

merged 2 commits into from
Jan 8, 2018

Commits on Jan 8, 2018

  1. Unbreak install after repo transfers 

    The directory name in the zip we download from github's release
archive will be different now that the project was renamed.
It may be renamed again in the future, so try to obtain the directory
name from the zip.

Fixes #1521
    @oschaaf
    oschaaf committed Jan 8, 2018
    Configuration menu
    Copy the full SHA
    7e5cd72 View commit details
    Browse the repository at this point in the history

  2. Add comment as per Josh's review request

    @oschaaf
    oschaaf committed Jan 8, 2018
    Configuration menu
    Copy the full SHA
    af7d354 View commit details
    Browse the repository at this point in the history