From b1b0f0850f944f59e25553e690ed754ecfc2eac6 Mon Sep 17 00:00:00 2001
From: Claude Marche <Claude.Marche@inria.fr>
Date: Tue, 3 Nov 2015 15:55:41 +0100
Subject: [PATCH] small fix about licenses of icon sets

---
 LICENSE | 2 +-
 README  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/LICENSE b/LICENSE
index a8fac2457..3ce6c39c1 100644
--- a/LICENSE
+++ b/LICENSE
@@ -20,7 +20,7 @@ LGPL version 2 (see file OCAML-LICENSE).
 
 Icon sets for the graphical interface of Why3 are subject to specific
 licenses, some of them may forbid commercial usage. These specific
-licenses are detailed in files share/icons/*/*.txt
+licenses are detailed in files share/images/*/*.txt
 
 ======================================================================
 
diff --git a/README b/README
index 1e2433690..0ab8c282e 100644
--- a/README
+++ b/README
@@ -44,7 +44,7 @@ LGPL version 2 (see file OCAML-LICENSE).
 
 Icon sets for the graphical interface of Why3 are subject to specific
 licenses, some of them may forbid commercial usage. These specific
-licenses are detailed in files share/icons/*/*.txt
+licenses are detailed in files share/images/*/*.txt
 
 INSTALLATION
 ============
-- 
GitLab