1 files changed, 7 insertions, 0 deletions
diff --git a/repo b/repo
index 75d27692..8ed147df 100755
--- a/repo
+++ b/repo
@@ -1,6 +1,13 @@
 #!/usr/bin/env python
 # -*- coding:utf-8 -*-
+"""Repo launcher.
+This is a standalone tool that people may copy to anywhere in their system.
+It is used to get an initial repo client checkout, and after that it runs the
+copy of repo in the checkout.
+"""
 from __future__ import print_function
 # repo default configuration

diff --git a/repo b/repo index 75d27692..8ed147df 100755 --- a/repo +++ b/repo
@@ -1,6 +1,13 @@
1	#!/usr/bin/env python	1	#!/usr/bin/env python
2	# -- coding:utf-8 --	2	# -- coding:utf-8 --
3		3
		4	"""Repo launcher.
		5
		6	This is a standalone tool that people may copy to anywhere in their system.
		7	It is used to get an initial repo client checkout, and after that it runs the
		8	copy of repo in the checkout.
		9	"""
		10
4	from __future__ import print_function	11	from __future__ import print_function
5		12
6	# repo default configuration	13	# repo default configuration