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` |