Christoph
d5f1dd6366
Adds a CLI tool to copy files or folders from a git repository into the current project based on a registry. The tool provides commands to: - `add`: Copies files/folders based on registry entries. - `list`: Lists available registry entries. Registry entries are defined in `jeAddons/registry.py`. The tool supports overriding the registry's ref and destination.
6 lines
174 B
XML
6 lines
174 B
XML
<component name="InspectionProjectProfileManager">
|
|
<settings>
|
|
<option name="USE_PROJECT_PROFILE" value="false" />
|
|
<version value="1.0" />
|
|
</settings>
|
|
</component> |