#!/bin/sh

echo "CRUX version 3.8"

# End of file
