update README
authorChristian Grothoff <christian@grothoff.org>
Thu, 4 Jan 2018 11:49:29 +0000 (12:49 +0100)
committerChristian Grothoff <christian@grothoff.org>
Thu, 4 Jan 2018 11:49:29 +0000 (12:49 +0100)
commit272921672ec094644a1ddbbfacb96581e72ed443
tree7ba1fe350510ac2c8f4b4b47eb2398a9d9803518
parentfb85cf602c67994646c156aa9e05d2b9aa10816c
update README
README