tree 6407a1d131ba5759b814e05adb0d1a137a955819
parent 573a621a779a80ea7a0c29dcae718bcffa7f1db2
author Davide Pesavento <davidepesa@gmail.com> 1657415104 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1657418307 -0400

Remove obsolete deployment instructions and script

Change-Id: If86fc4d91b975d8c1a8e575229328f95dc0dc49c