##// END OF EJS Templates
Merged from my trunk-dev:...
Merged from my trunk-dev: Lukasz Pankowski's patches: sh profile prefilter changes (allow ~/bin/foo, /bin/foo in addition to ./foo to be directly executed) allow multiple dashes in demo ---stop--- editor hook does TryNext shadow history docs Allow multiline macros in threaded shells Do not hang with dev version of PyGTK: do set_interactive(False)
Ville M. Vainio -
r1783:1b690a90 merge
Show More
Name Size Modified Last Commit Author
/ docs / attic
COPYING Loading ...
ChangeLog Loading ...
ipnb_google_soc.lyx Loading ...
nbexample.py Loading ...
nbexample_latex.py Loading ...
nbexample_output.py Loading ...
new_design.lyx Loading ...