On Fri, Jan 18, 2019 at 1:12 PM Mike Gilbert wrote:
>
> Signed-off-by: Mike Gilbert
> ---
> genrdeps/run-genrdeps-index.sh | 9 +
> htdocs/index.html | 7 ---
> 2 files changed, 13 insertions(+), 3 deletions(-)
>
> diff --git a/genrdeps/run-genrdeps-index.sh b/genrdeps/r
Signed-off-by: Mike Gilbert
---
genrdeps/run-genrdeps-index.sh | 9 +
htdocs/index.html | 7 ---
2 files changed, 13 insertions(+), 3 deletions(-)
diff --git a/genrdeps/run-genrdeps-index.sh b/genrdeps/run-genrdeps-index.sh
index 819940d..fd89301 100755
--- a/genrdeps/ru