diff options
| author | rsiddharth <s@ricketyspace.net> | 2018-11-12 23:10:55 -0500 |
|---|---|---|
| committer | rsiddharth <s@ricketyspace.net> | 2018-11-12 23:10:55 -0500 |
| commit | 04ed307bfdaafbf60eb9b16a939357ed76d35127 (patch) | |
| tree | f52a27c0566230da545b7574042cc5ff20a9c924 | |
| parent | 0b6103d0489bbceee8ea125e0526c6512f22de50 (diff) | |
Makefile: Put it under CC0.
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ #!/usr/bin/env make -# license: gnu gpl version 3 or higher. -# copyright 2016 rsiddharth <s@ricketyspace.net> +# +# License: CC0-1.0 guile:=`which guile 2>/dev/null || which guile2 2>/dev/null \ || which guile2.2 2>/dev/null` |