tree 4f9f8a0455cfb3bfcce25aea5803902d44d51cce
parent 42fbc6961e043435656f9bfff2ca822086fc1e22
author Jack Jansen <jack.jansen@cwi.nl> 1057183770 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 1057183770 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4033424

Skip noticed that the document talks about "setting PythonLauncher as the
default application" but doesn't give a clue on how to do this. Refer to
Apple Help.