diff -r 70924c0bdaf1 -r 7912530a33e2 install.py
--- a/install.py Sun Oct 13 17:44:48 2013 +0200
+++ b/install.py Mon Oct 14 18:26:25 2013 +0200
@@ -68,6 +68,8 @@
def exit(rcode=0):
"""
Exit the install script.
+
+ @param rcode result code to report back (integer)
"""
global currDir