diff options
Diffstat (limited to 'fetched/pgloader.json')
-rw-r--r-- | fetched/pgloader.json | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/fetched/pgloader.json b/fetched/pgloader.json deleted file mode 100644 index dfe310b..0000000 --- a/fetched/pgloader.json +++ /dev/null | |||
@@ -1,15 +0,0 @@ | |||
1 | { | ||
2 | "tag": "v3.5.2", | ||
3 | "meta": { | ||
4 | "name": "pgloader", | ||
5 | "url": "https://github.com/dimitri/pgloader", | ||
6 | "branch": "refs/tags/v3.5.2" | ||
7 | }, | ||
8 | "github": { | ||
9 | "owner": "dimitri", | ||
10 | "repo": "pgloader", | ||
11 | "rev": "63af7e7373975391446dcae151f5c61564849025", | ||
12 | "sha256": "1rd0k1x7ml6b6x526brachm13v51vx5ikpg64c8k8j29cskq2vqa", | ||
13 | "fetchSubmodules": true | ||
14 | } | ||
15 | } | ||