Viewing all changes in revision 23.
- Committer: Diego Sarmentero
- Date: 2011-11-02 14:29:00 UTC
- mfrom: (4.1.24)
- Revision ID: git-v1:e2b93438dc7c0f4139788899e0ba54212218096d
Merge pull request #29 from diegosarmentero/master
Avoid double output when executing a program that requires user input
Avoid double output when executing a program that requires user input
- files modified:
- ninja_ide/gui/misc/run_widget.py
expand all
collapse all
added
removed
