diff INSTALL @ 12507:da322c027bf0

Replace `#!/bin/sh' with `#! /bin/sh', for benefit of systems that interpret `#! /' as a 4-byte magic number.
author Paul Eggert <eggert@twinsun.com>
date Fri, 07 Jul 1995 22:47:57 +0000
parents dc2ce070185e
children 7f74acc9dfeb
line wrap: on
line diff