#! /bin/sh

echo "CRUX 2.8"

# End of file