Diffusion Isabelle d5c3eee7da74

separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
d5c3eee7da74
Actions

Tags

None

Subscribers

None

Description

separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);

Details

Provenance

Authored on

Parents

rISABELLE4fbbf421c376: tuned message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd5c3eee7da74: separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);.May 8 2021, 1:06 PM

Changes (4)

Path

Size

Admin/

components/

components.sha1

src/

Tools/

jEdit/

lib/

Tools/

src/

jedit_lib.scala

rISABELLEd5c3eee7da74

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Tools/jEdit/lib/Tools/jedit

Loading...

src/Tools/jEdit/src/jedit_lib.scala

Loading...