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

Commit 49cf19cc authored by mmn's avatar mmn

INSTALL file overhaul, mostly done.

parent 6abcc248
This diff is collapsed.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment