author | jurikm |
Sun, 12 Feb 2012 14:04:10 +0000 | |
changeset 8245 | 383896da4129 |
parent 1203 | f6204893f612 |
permissions | -rw-r--r-- |
diff -up freemind/freemind.sh.orig freemind/freemind.sh --- freemind/freemind.sh.orig 2008-05-21 20:15:18.000000000 +0100 +++ freemind/freemind.sh 2008-06-16 16:05:15.695114628 +0100 @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # 2004-02-13, modified for Debian by [email protected] # 2004-06-19, rewritten for Linux/UN*X by [email protected] # (based on Jan Schulz's input)