Update README.md

leanprover-community · Jan 9, 2024 · f4025c3 · f4025c3
1 parent 1054e51
commit f4025c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# lean-graph
+# import-graph
 
 A simple tool to create import graphs of lake packages.