From 8ac9edce7648855866641c5e30ed7f8f5fe758fc Mon Sep 17 00:00:00 2001 From: palob Date: Wed, 9 Aug 2023 13:22:57 +0200 Subject: [PATCH] Icons for root. Fixes #3128 https://github.com/root-project/root --- data.json | 9 +++++++++ icons/circle/48/root.svg | 15 +++++++++++++++ icons/square/48/root.svg | 15 +++++++++++++++ 3 files changed, 39 insertions(+) create mode 100644 icons/circle/48/root.svg create mode 100644 icons/square/48/root.svg diff --git a/data.json b/data.json index 9f656c1956..880e52020e 100644 --- a/data.json +++ b/data.json @@ -25117,6 +25117,15 @@ ] } }, + "root": { + "linux": { + "root": "root", + "symlinks": [ + "cern.root.root", + "ch.cern.root" + ] + } + }, "rosamp": { "linux": { "root": "rosamp" diff --git a/icons/circle/48/root.svg b/icons/circle/48/root.svg new file mode 100644 index 0000000000..eb9cdef1ba --- /dev/null +++ b/icons/circle/48/root.svg @@ -0,0 +1,15 @@ + + + + + + + + + + + + + + + diff --git a/icons/square/48/root.svg b/icons/square/48/root.svg new file mode 100644 index 0000000000..2dde005271 --- /dev/null +++ b/icons/square/48/root.svg @@ -0,0 +1,15 @@ + + + + + + + + + + + + + + +