projects
/
minwii.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
27f5c5b
)
Ajout de la méthode quit dans l'api.
author
pin
<pin@fe552daf-6dbe-4428-90eb-1537e0879342>
Tue, 12 Jul 2011 11:16:04 +0000
(11:16 +0000)
committer
pin
<pin@fe552daf-6dbe-4428-90eb-1537e0879342>
Tue, 12 Jul 2011 11:16:04 +0000
(11:16 +0000)
git-svn-id: https://svn.cri.ensmp.fr/svn/minwii/trunk@374
fe552daf
-6dbe-4428-90eb-
1537e0879342
src/minwii/app.py
patch
|
blob
|
history
diff --git
a/src/minwii/app.py
b/src/minwii/app.py
index
29326fd
..
0129cec
100755
(executable)
--- a/
src/minwii/app.py
+++ b/
src/minwii/app.py
@@
-220,3
+220,5
@@
class _WTFacade :
pass
def get_count(self) :
return None
+ def quit(self) :
+ pass