diff options
author | Rob Lourens <roblourens@gmail.com> | 2019-01-28 07:29:48 +0300 |
---|---|---|
committer | Rob Lourens <roblourens@gmail.com> | 2019-01-28 19:40:58 +0300 |
commit | d28a8e1ff771eff85d55b22f3aeb340bffe95f21 (patch) | |
tree | b53873595bf538d421425cea5c0f35928b265e2f | |
parent | 379e39ff0ed32a31def1068feeda01c9fc41aba8 (diff) |
Add cgmanifest for ripgrep
-rw-r--r-- | cgmanifest.json | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/cgmanifest.json b/cgmanifest.json index 1cf8ac1f1fe..37d52feb36c 100644 --- a/cgmanifest.json +++ b/cgmanifest.json @@ -505,6 +505,19 @@ " defined by the Mozilla Public License, v. 2.0." ], "license": "MPL" + }, + { + "component": { + "type": "git", + "git": { + "name": "ripgrep", + "repositoryUrl": "https://github.com/BurntSushi/ripgrep", + "commitHash": "8a7db1a918e969b85cd933d8ed9fa5285b281ba4" + } + }, + "isOnlyProductionDependency": true, + "license": "MIT", + "version": "0.10.0" } ], "version": 1 |