From c8d00fb5b4d98072644980a4fb35947447066733 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 15 Oct 2018 11:44:47 -0700
Subject: [PATCH] follow instructions from #1879

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 noarch/repodata.json     |   0
 noarch/repodata.json.bz2 | Bin 0 -> 14 bytes
 2 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 noarch/repodata.json
 create mode 100644 noarch/repodata.json.bz2

diff --git a/noarch/repodata.json b/noarch/repodata.json
new file mode 100644
index 000000000..e69de29bb
diff --git a/noarch/repodata.json.bz2 b/noarch/repodata.json.bz2
new file mode 100644
index 0000000000000000000000000000000000000000..b56f3b974d6a345462b5a64b15a84c9b23bb40ec
GIT binary patch
literal 14
TcmZ>Y%CHnKa<vGUzyJgQ9M=OR

literal 0
HcmV?d00001