#! /bin/sh

echo "CRUX-ARM 3.1"

# End of file