diff options
| author | bunnei <bunneidev@gmail.com> | 2018-01-14 04:29:30 -0500 |
|---|---|---|
| committer | bunnei <bunneidev@gmail.com> | 2018-01-14 04:29:30 -0500 |
| commit | feae1c4c323abb0ef79e0e43230ddf0d9af7311c (patch) | |
| tree | 5fb3310bda5150af9703d13d46f1bdd52c98ff5b /externals/cpr | |
| parent | a24dbcac6e77c7332a9bae49b7e4cc5a5e1d6550 (diff) | |
externals: Remove unused repos.
Diffstat (limited to 'externals/cpr')
| m--------- | externals/cpr | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/externals/cpr b/externals/cpr deleted file mode 160000 -Subproject b5758fbc88021437f968fe5174f121b8b92f5d5 |