Update script and doc from web's tools dir
authorRicardo Mones <ricardo@mones.org>
Fri, 20 Sep 2019 07:31:16 +0000 (09:31 +0200)
committerRicardo Mones <ricardo@mones.org>
Fri, 20 Sep 2019 07:31:16 +0000 (09:31 +0200)
commitf26621eea6336206824b3cf1ff5443d2ce9915b6
treeb9e45fd3a72bb5482580470c78b45f8d0d9b4577
parent906217311b7c4097520c0f9258733979fd1275b9
Update script and doc from web's tools dir
tools/README
tools/fix_date.sh