diff options
Diffstat (limited to 'images')
-rw-r--r-- | images/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/images/README b/images/README index 3394971e..9bba39f7 100644 --- a/images/README +++ b/images/README @@ -5,7 +5,7 @@ Icons for Proof General. The images in this directory were made with The Gimp and Inkscape. They were created in my spare time as a donation to the Proof General project. The images here are released under the Creative Commons -license, see http://creativecommons.org/licenses/by-nc-sa/3.0/ +license, see https://creativecommons.org/licenses/by-sa/3.0/ The Inkscape-based search icon includes portions from Andrew Fitzsimon's Etiquette search icon (under CC 2.0). |