#!/bin/bash
#
# Display the list of available platforms
#

exec twopence provision platforms
