diff options
Diffstat (limited to 'build-aux/ci_build.sh')
| -rwxr-xr-x | build-aux/ci_build.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.sh index ab056818..26f17b89 100755 --- a/build-aux/ci_build.sh +++ b/build-aux/ci_build.sh @@ -9,9 +9,6 @@ # # Author: Jia Tan # -# This file has been put into the public domain. -# You can do whatever you want with this file. -# ############################################################################# set -e |