Diffusion Isabelle f34d54b0e5de

clarified names (again), e.g. relevant for "Plugin Options";
f34d54b0e5de
Actions

Tags

None

Subscribers

None

Description

clarified names (again), e.g. relevant for "Plugin Options";

Details

Provenance

Authored on

Parents

rISABELLEbd575b1bd9bf: added simp_options to meson

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf34d54b0e5de: clarified names (again), e.g. relevant for "Plugin Options";.Jul 23 2021, 10:32 AM

Changes (1)

Path

Size

src/

Tools/

jEdit/

jedit_main/

rISABELLEf34d54b0e5de

src/Tools/jEdit/jedit_main/plugin.props

Loading...