#!/bin/sh

echo "CRUX-ARM version 3.8"

# End of file
