diff options
Diffstat (limited to 'tests.merging/warn-if-merging-petrified-morphologies.script')
| -rwxr-xr-x | tests.merging/warn-if-merging-petrified-morphologies.script | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tests.merging/warn-if-merging-petrified-morphologies.script b/tests.merging/warn-if-merging-petrified-morphologies.script index a81c0237..5753786c 100755 --- a/tests.merging/warn-if-merging-petrified-morphologies.script +++ b/tests.merging/warn-if-merging-petrified-morphologies.script @@ -1,4 +1,5 @@ #!/bin/sh +# # Copyright (C) 2012 Codethink Limited # # This program is free software; you can redistribute it and/or modify @@ -14,8 +15,9 @@ # with this program; if not, write to the Free Software Foundation, Inc., # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. -# If the user merges a petrified branch into an unpetrified branch, -# we should warn them. + +## If the user merges a petrified branch into an unpetrified branch, +## we should warn them. set -eu |