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

Commit 360e3718 authored by mattl's avatar mattl

We've fixed up this git repo, removing an ages old .git directory

from our previous life in SVN.
parent 2ed1c23f
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