math/isabelle/files/patch-lib-scripts-polyml_version


1
2
3
4
5
6
7
8

--- lib/scripts/polyml-version.orig	Sat Jan 12 17:09:13 2008
+++ lib/scripts/polyml-version	Sat Jan 12 17:15:41 2008
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 #
 # $Id: polyml-version,v 1.5 2006/12/05 17:32:54 wenzelm Exp $
 #