diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/new-theory | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/new-theory b/contrib/new-theory index 6488eaec9..0045e7b41 100755 --- a/contrib/new-theory +++ b/contrib/new-theory @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # # usage: new-theory theory-directory-name # |