#!/bin/csh -f

# Do nothing - dummy script