#!/bin/sh

# Do nothing. See #198 for details.
exit 0
