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.
7 lines
282 B
XML
7 lines
282 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project version="4">
|
|
<component name="Black">
|
|
<option name="sdkName" value="uv (jeAddons)" />
|
|
</component>
|
|
<component name="ProjectRootManager" version="2" project-jdk-name="uv (jeAddons)" project-jdk-type="Python SDK" />
|
|
</project> |