--- a/lib/Tools/nonascii Thu Nov 30 20:07:35 2000 +0100 +++ b/lib/Tools/nonascii Thu Nov 30 20:10:29 2000 +0100 @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # $Id$ # Author: Markus Wenzel, TU Muenchen