diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 12:29:11 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-08-10 12:29:11 +0100 |
| commit | 533bca9426ee3166433b29e84c8f942f7409981b (patch) | |
| tree | 5bfad6d46b06ace593ed7e55da60bf34b8943b67 /scripts/synthesis-results.scm | |
| parent | f6569b736d4ded08a011f55bd6001c89e899fd5c (diff) | |
| download | vericert-dev/asplos.tar.gz vericert-dev/asplos.zip | |
Annonimize submissiondev/asplos
Diffstat (limited to 'scripts/synthesis-results.scm')
| -rwxr-xr-x | scripts/synthesis-results.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/synthesis-results.scm b/scripts/synthesis-results.scm index 3760cfb..db73ed7 100755 --- a/scripts/synthesis-results.scm +++ b/scripts/synthesis-results.scm @@ -1,7 +1,7 @@ #! /usr/local/bin/csi -ss ;; -*- mode: scheme -*- ;; -;; Copyright (C) 2022 Yann Herklotz <yann@yannherklotz.com> +;; Copyright (C) 2022 ___ ___ <___@______.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 @@ -61,7 +61,7 @@ (print "Usage: " (program-name) " [options...] [files...]") (newline) (print (args:usage opts)) - (print "Report bugs to git at yannherklotz dot com."))) + (print "Report bugs to git at ______ dot com."))) (exit 1)) (define (map-names n) |