| Index: tools/stm/one-stm-lib.sh
|
| diff --git a/tools/stm/one-stm-lib.sh b/tools/stm/one-stm-lib.sh
|
| index 39ec9d00bd64c03b12fdffe9c4e19c1ef104325e..22caafc922f4eca95eaeaf8f1ccbe3bd65a58a36 100755
|
| --- a/tools/stm/one-stm-lib.sh
|
| +++ b/tools/stm/one-stm-lib.sh
|
| @@ -1,5 +1,5 @@
|
| #!/bin/sh
|
| -# Copyright (c) 2016, the Fletch project authors. Please see the AUTHORS file
|
| +# Copyright (c) 2016, the Dartino project authors. Please see the AUTHORS file
|
| # for details. All rights reserved. Use of this source code is governed by a
|
| # BSD-style license that can be found in the LICENSE.md file.
|
|
|
|
|