git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

  • Danial Behzadi's avatar
    Update INSTALL · 16e7b5af
    Danial Behzadi authored
    Step 4 of `Getting it up and running` is not applicable in newer versions.
    16e7b5af