diff options
author | pgen <p.gen.progs@gmail.com> | 2022-05-30 21:15:10 +0200 |
---|---|---|
committer | pgen <p.gen.progs@gmail.com> | 2022-06-02 20:58:52 +0200 |
commit | 21484e888c9ad6da1d2354dcbadd2106a9d549c4 (patch) | |
tree | 78d155251219adb8badc66151e15ca4a61936402 /build.sh | |
parent | 3bbd4a893001f840f127d7ee06a7e0cce1ee1315 (diff) |
Switch to Mozilla Public License 2.0
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1,5 +1,13 @@ #!/bin/sh +# ################################################################### +# Copyright 2015, Pierre Gentile (p.gen.progs@gmail.com) +# +# This Source Code Form is subject to the terms of the Mozilla Public +# License, v. 2.0. If a copy of the MPL was not distributed with this +# file, You can obtain one at https://mozilla.org/MPL/2.0/. +# ################################################################### + # Manage --help option # """""""""""""""""""" if echo "$@" | grep -- "--help"; then |