diff --git a/data.json b/data.json index 765f52b066..2e6f4753cc 100644 --- a/data.json +++ b/data.json @@ -5880,6 +5880,22 @@ ] } }, + "corese-command": { + "linux": { + "root": "corese-command", + "symlinks": [ + "ofr.inria.corese.CoreseCommand" + ] + } + }, + "corese-gui": { + "linux": { + "root": "corese-gui", + "symlinks": [ + "fr.inria.corese.CoreseGui" + ] + } + }, "corsix-th": { "linux": { "root": "corsix-th", diff --git a/icons/circle/48/corese-command.svg b/icons/circle/48/corese-command.svg new file mode 100644 index 0000000000..a553f36377 --- /dev/null +++ b/icons/circle/48/corese-command.svg @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + + diff --git a/icons/circle/48/corese-gui.svg b/icons/circle/48/corese-gui.svg new file mode 100644 index 0000000000..f0bd17a194 --- /dev/null +++ b/icons/circle/48/corese-gui.svg @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + + diff --git a/icons/square/48/corese-command.svg b/icons/square/48/corese-command.svg new file mode 100644 index 0000000000..e8d860935c --- /dev/null +++ b/icons/square/48/corese-command.svg @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + + diff --git a/icons/square/48/corese-gui.svg b/icons/square/48/corese-gui.svg new file mode 100644 index 0000000000..7eadc1aa7d --- /dev/null +++ b/icons/square/48/corese-gui.svg @@ -0,0 +1,19 @@ + + + + + + + + + + + + + + + + + + +