diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:26:29 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:26:29 +0000 |
commit | 52b050695d489512e2118f1535348f18359322db (patch) | |
tree | 3b9fce97e4741449364ae0b74c35c72b5aa1e1bd /scripts | |
parent | eb95db64b07f8f9daac9944751803506fdfbd577 (diff) | |
download | vericert-52b050695d489512e2118f1535348f18359322db.tar.gz vericert-52b050695d489512e2118f1535348f18359322db.zip |
Add a license to synthesis-results
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/synthesis-results.scm | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/scripts/synthesis-results.scm b/scripts/synthesis-results.scm index 3a87d58..11c66c1 100755 --- a/scripts/synthesis-results.scm +++ b/scripts/synthesis-results.scm @@ -1,5 +1,20 @@ #! /usr/bin/chicken-csi -s ;; -*- mode: scheme -*- +;; +;; Copyright (C) 2022 Yann Herklotz <yann@yannherklotz.com> +;; +;; This program is free software: you can redistribute it and/or modify +;; it under the terms of the GNU General Public License as published by +;; the Free Software Foundation, either version 3 of the License, or +;; (at your option) any later version. +;; +;; This program is distributed in the hope that it will be useful, +;; but WITHOUT ANY WARRANTY; without even the implied warranty of +;; 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, see <https://www.gnu.org/licenses/>. (import (chicken port) (chicken process-context) |