Restore previous format of README entry
authorRicardo Mones <ricardo@mones.org>
Fri, 20 Sep 2019 08:40:56 +0000 (10:40 +0200)
committerRicardo Mones <ricardo@mones.org>
Fri, 20 Sep 2019 08:40:56 +0000 (10:40 +0200)
commit2b8ce9a53b7c4004d2a4eafc06ca5b9117c719e6
treeff074001ff16e6fe259b033c847ccc7e14b9af8e
parentf26621eea6336206824b3cf1ff5443d2ce9915b6
Restore previous format of README entry
tools/README