diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-03 11:56:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-03 11:56:08 +0100 |
| commit | 5cbbf87e60960634f08227f00aca359c3a38989b (patch) | |
| tree | b8205f16066995f5c9daf2227f7b7b59c1432e63 /editor/plugins | |
| parent | b23f7bc923de91f5028eef2b22d4c843b02aefdf (diff) | |
| parent | 4d0097e8aebca452637e6aec293ea3254d6f5eca (diff) | |
Merge pull request #15226 from volzhs/copy-resource
Copy resource with specific extension
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions