# HG changeset patch
# User etisserant
# Date 1197325399 -3600
# Node ID 3a34b580f14148b0e22a387c6c056c34a8789fb4
# Parent  d7eb6e22b02e8ef971b5eb54f9b767497eb88a58
Windows related enhancements

diff -r d7eb6e22b02e -r 3a34b580f141 plugger.py
--- a/plugger.py	Mon Dec 10 17:32:47 2007 +0100
+++ b/plugger.py	Mon Dec 10 23:23:19 2007 +0100
@@ -516,7 +516,7 @@
 ####################################################################################
 ####################################################################################
 
-if wx.Platform != '__WXMSW__':
+if wx.Platform == '__WXMSW__':
     exe_ext=".exe"
 else:
     exe_ext=""