##// END OF EJS Templates
More code reuse between GUI-independant frontend and Wx frontend: getting...
More code reuse between GUI-independant frontend and Wx frontend: getting the current edited buffer and setting it throught properties.
gvaroquaux -
r1462:ffe71205
Show More
Name Size Modified Last Commit Author
/ tools
check_sources.py Loading ...
make_tarball.py Loading ...
mkrel.py Loading ...
release Loading ...
run_ipy_in_profiler.py Loading ...
testrel Loading ...
testupload Loading ...
update_revnum.py Loading ...