Remove old dependency graphs

MetaCoq · Sep 23, 2022 · f0aa42a · f0aa42a
1 parent c9f0f30
commit f0aa42a
Show file tree

Hide file tree

Showing 11 changed files with 0 additions and 13,711 deletions.
diff --git a/dependency-graph/A tour of metacoq.png b/dependency-graph/A tour of metacoq.png
diff --git a/dependency-graph/depgraph-2020-03-20.dot b/dependency-graph/depgraph-2020-03-20.dot
diff --git a/dependency-graph/depgraph-2020-03-20.svg b/dependency-graph/depgraph-2020-03-20.svg
diff --git a/dependency-graph/depgraph-2020-09-24.dot b/dependency-graph/depgraph-2020-09-24.dot
diff --git a/dependency-graph/depgraph-2020-09-24.svg b/dependency-graph/depgraph-2020-09-24.svg
diff --git a/dependency-graph/depgraph-2020-11-28.dot b/dependency-graph/depgraph-2020-11-28.dot
diff --git a/dependency-graph/depgraph-2020-11-28.png b/dependency-graph/depgraph-2020-11-28.png
diff --git a/dependency-graph/depgraph-2020-11-28.svg b/dependency-graph/depgraph-2020-11-28.svg
diff --git a/dependency-graph/depgraph-2022-01-26.dot b/dependency-graph/depgraph-2022-01-26.dot
diff --git a/dependency-graph/depgraph-2022-01-26.png b/dependency-graph/depgraph-2022-01-26.png
diff --git a/dependency-graph/depgraph-2022-01-26.svg b/dependency-graph/depgraph-2022-01-26.svg