diff -r 8816c917979c -r b72591087495 tablediff.py
--- a/tablediff.py	Mon Dec 09 13:57:31 2013 +0100
+++ b/tablediff.py	Tue Dec 10 11:39:57 2013 +0100
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3.2
+#!/usr/bin/env python3
 #
 # Print differencies between data in tables.
 #