Mon, 17 Aug 2015 12:31:29 +0200
Changed the Python debug clients to exit when the program exits (only for run, profile and coverage) and regenerated the source docu.
4373
54d6d7c772ea
Changed the Python debug clients to exit when the program exits (only for run, profile and coverage) and regenerated the source docu.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
4244
diff
changeset
|
1 | (binary:application/octet-stream) |