diff -r 000000000000 -r de9c2efb9d02 Examples/hallo.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Examples/hallo.py Mon Dec 28 16:03:33 2009 +0000
@@ -0,0 +1,10 @@
+#!/usr/bin/env python
+
+import sys
+
+def main():
+ print "Hello World!"
+ sys.exit(0)
+
+if __name__ == "__main__":
+ main()
