Add script to pull in docs changes
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Fri, 21 Jul 2017 09:01:13 +0000 (11:01 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Fri, 21 Jul 2017 09:01:13 +0000 (11:01 +0200)
commitff433f98133662063cbb16e220fd44c678c82823
tree83826ffad3e366d227e59cc79f8c6adfe32b8167
parentf387cb1b38fe8b09e4cbca9816caaa840de55c5b
Add script to pull in docs changes
pull-docs.sh [new file with mode: 0755]