Update repo name
authorgabriel
Thu, 24 Dec 2020 21:05:17 +0000
changeset 1 efd4dcceb77b
parent 0 22d142c795ec
child 2 e83c1ad7d608
Update repo name
profiles/repo_name
--- a/profiles/repo_name	Thu Dec 24 20:44:22 2020 +0000
+++ b/profiles/repo_name	Thu Dec 24 21:05:17 2020 +0000
@@ -1,1 +1,1 @@
-localrepo
+gg-overlay