diff options
Diffstat (limited to 'util/mma/mma_get_result.sh')
| -rwxr-xr-x | util/mma/mma_get_result.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/util/mma/mma_get_result.sh b/util/mma/mma_get_result.sh index e26ae4a73b..cb30a80db7 100755 --- a/util/mma/mma_get_result.sh +++ b/util/mma/mma_get_result.sh @@ -14,10 +14,6 @@ # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc. -# mma_results_op_bin="${1}" mma_results_op_bin_tmp="${mma_results_op_bin}".tmp |