#!/bin/sh

# This is not called by anything. in jhs or /site
# I checked 2020-12-11

if [ -e /usr/local/bin/demime ] ; then
	echo yes
	echo yes
else
	echo no
	echo no
fi